SAT 2011 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
crafted/mosoi/289/
289-sat-4x8.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-4x8.cnf
MD5SUMacc18551f77825b225fd36f1d0bc3a75
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of clauses896
Sum of the clauses size3200
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2192
Number of clauses of size 30
Number of clauses of size 4704
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Black Hole SAT 2011-03-08 (complete)3259908SAT 0.000999 0.00625992
PicoSAT 941 (complete)3259921SAT 0.000999 0.0059
SApperloT 2011-03-23 (complete)3259937SAT 0.000999 0.00646489
sattime+ 2011-03-02 (incomplete)3259904SAT 0.002998 0.00670998
SApperloT2010 2011-05-15 (fixed) (complete)3379661SAT 0.002999 0.0132889
sattime2011 2011-03-02 (incomplete)3259898SAT 0.002999 0.00655797
shortsattime2011 2011-03-02 (incomplete)3259900SAT 0.002999 0.00666909
adaptg2wsat2011 2011-03-02 (incomplete)3259902SAT 0.002999 0.00642689
shortsattime+ 2011-03-02 (incomplete)3259903SAT 0.002999 0.0073489
sattime 2011-03-02 (incomplete)3259899SAT 0.003998 0.00649003
clasp 2.0-R4092-crafted (complete)3300340SAT 0.003999 0.00672196
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274269SAT 0.003999 0.00623008
RestartSAT B95 (complete)3259905SAT 0.003999 0.00647797
RestartSAT A75 (complete)3259906SAT 0.004998 0.01091
SAT07 reference solver: minisat SAT 2007 (complete)3274271SAT 0.004998 0.00805588
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370361SAT 0.004999 0.0200569
SArTagnan 2011-03-24 [DEPRECATED] (complete)3259936SAT 0.004999 0.006461
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367961SAT 0.004999 0.0130279
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3259912SAT 0.005998 0.00650591
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3259914SAT 0.005998 0.0091021
ppfolio seq (complete)3259930SAT 0.005998 0.00715796
CryptoMiniSat TechDemo-Alpha-st (complete)3259910SAT 0.005999 0.0205441
UmSat 2011-02-25 [DEPRECATED] (complete)3259907SAT 0.005999 0.00660312
UmSat 2011-05-12 (fixed) (complete)3379061SAT 0.005999 0.013757
claspmt 2.0-R4095-patched (fixed) (complete)3373061SAT 0.006998 0.0106609
glucose 2 (complete)3259932SAT 0.006998 0.0087739
march_rw 2011-03-02 (complete)3259897SAT 0.007997 0.00977706
claspmt 2.0-R4095 [DEPRECATED] (complete)3299440SAT 0.007998 0.00726601
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274270SAT 0.008998 0.0107409
Lingeling 587f (fixed) (complete)3371561SAT 0.009998 0.0136279
rcl 2011-04-01 (complete)3259926SAT 0.009998 0.012869
Lingeling 587 [DEPRECATED] (complete)3259923SAT 0.009998 0.010336
sathys 2011-04-01 (complete)3259927SAT 0.010997 0.0113051
MPhaseSAT 2011-02-15 (complete)3259894SAT 0.011997 0.0134129
MPhaseSAT_M 2011-02-16 (complete)3259896SAT 0.011998 0.0140429
Plingeling 587 [DEPRECATED] (complete)3259922SAT 0.012997 0.013881
SArTagnan 2011-05-15 (fixed) (complete)3385905SAT 0.012997 0.0150619
MPhaseSAT64 2011-05-14 (fixed) (complete)3375461SAT 0.012998 0.014326
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259895SAT 0.016996 0.022825
synit_sat 2011-03-03 (complete)3259901SAT 0.016996 0.0179239
Plingeling 587f (fixed) (complete)3370961SAT 0.021996 0.0152311
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259911SAT 0.021996 0.0109329
ppfolio par (complete)3259929SAT 0.022995 0.014238
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3259913SAT 0.030994 0.011792
QuteRSat 2011-05-12 (fixed) (complete)3376661SAT 0.032994 0.0338649
QuteRSat 2011-03-01 [DEPRECATED] (complete)3259924SAT 0.035993 0.040378
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369161SAT 0.038993 0.0152851
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366761SAT 0.047991 0.019544
CryptoMiniSat TechDemo-Alpha-mt (complete)3259909SAT 0.091985 0.0360779
Sol 2011-04-04 (complete)3259925SAT 0.12898 0.135209
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3259928SAT 0.131979 0.119183
jMiniSat 2011 (complete)3279838SAT 0.134979 0.123199
tts 5-4 (complete)3259933SAT 0.6549 0.658015
ttsth 5-4 (complete)3259934SAT 0.796878 0.213786
riss Auto (complete)3259917SAT 1.71074 1.71273
riss Auto (1200 s timeout) (complete)3472852SAT 1.71174 1.71392
riss 1.0 (complete)3259915SAT 1.71674 1.71734
STRUCTure 0.1 (complete)3312985SAT 1.74073 0.689082
priss UP (complete)3259918SAT 1.75473 1.72831
riss Exp (complete)3259916SAT 1.86572 1.86612
STRUCTure 0.1 (hbr=2) (complete)3311785SAT 1.9697 0.720615
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449621SAT 2.75058 2.78372
Satisfiability Solver Selector 2011-03-18 (complete)3259931SAT 3.00154 3.01912
priss Auto (complete)3259919SAT 6.81596 1.74579
priss 1.0 (complete)3259920SAT 6.82096 1.74504
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3259935No Cert. 0.003998 0.00695108

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
-1 -2 -3 4 -40 -37 -38 39 -83 -81 -82 84 -116 -128 -124 -120 -117 -118 119 -103 -101 -102 104 -100 -97 -98 99 -68 -79 -77 -78 80 -112 -109
-110 111 -75 -73 -74 76 -108 -71 -69 -70 72 -107 -106 105 -95 -93 -94 96 -91 -89 -90 92 -87 -85 -86 88 -127 -126 125 -123 -122 121 -115 -114
113 -60 -57 -58 59 -67 -66 65 -56 -53 -54 55 -47 -35 -45 -46 48 -64 -52 -44 -36 -34 33 -61 -62 63 -49 -50 51 -41 -42 43 -5 -6 -7 8 -32 -28
-24 -20 -16 -12 -29 -30 31 -27 -23 -19 -11 -26 25 -17 -9 18 10 -22 21 -13 -14 15