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

Result page for benchmark
crafted/mosoi/
289/289-sat-11x4.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x4.cnf
MD5SUM9cdd889575fbb7075e2479f8d018dc69
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 variables176
Number of clauses1628
Sum of the clauses size5984
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2264
Number of clauses of size 30
Number of clauses of size 41364
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
PicoSAT 941 (complete)3260361SAT 0.000999 0.00634311
Black Hole SAT 2011-03-08 (complete)3260348SAT 0.001998 0.006424
SApperloT2010 2011-05-15 (fixed) (complete)3379664SAT 0.002998 0.0140851
SApperloT 2011-03-23 (complete)3260377SAT 0.002998 0.00618188
shortsattime+ 2011-03-02 (incomplete)3260343SAT 0.005998 0.010573
sattime+ 2011-03-02 (incomplete)3260344SAT 0.005998 0.00627592
adaptg2wsat2011 2011-03-02 (incomplete)3260342SAT 0.005998 0.00639007
sattime2011 2011-03-02 (incomplete)3260338SAT 0.005999 0.00707409
shortsattime2011 2011-03-02 (incomplete)3260340SAT 0.006998 0.00731407
RestartSAT A75 (complete)3260346SAT 0.006998 0.00785395
sattime 2011-03-02 (incomplete)3260339SAT 0.006998 0.00644294
RestartSAT B95 (complete)3260345SAT 0.007997 0.007506
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274329SAT 0.007998 0.00865508
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367964SAT 0.007998 0.0102629
SAT07 reference solver: minisat SAT 2007 (complete)3274331SAT 0.007998 0.00928789
clasp 2.0-R4092-crafted (complete)3300343SAT 0.008997 0.00849
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260376SAT 0.008997 0.00692599
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260352SAT 0.008997 0.0161979
claspmt 2.0-R4095 [DEPRECATED] (complete)3299443SAT 0.008998 0.0108591
claspmt 2.0-R4095-patched (fixed) (complete)3373064SAT 0.009997 0.0120099
glucose 2 (complete)3260372SAT 0.009997 0.0125651
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260354SAT 0.009997 0.0142121
UmSat 2011-02-25 [DEPRECATED] (complete)3260347SAT 0.009998 0.0154681
CryptoMiniSat TechDemo-Alpha-st (complete)3260350SAT 0.010997 0.0224199
UmSat 2011-05-12 (fixed) (complete)3379064SAT 0.010997 0.0122641
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370364SAT 0.011997 0.0189089
ppfolio seq (complete)3260370SAT 0.013997 0.013762
rcl 2011-04-01 (complete)3260366SAT 0.014996 0.0178381
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274330SAT 0.016996 0.0175209
sathys 2011-04-01 (complete)3260367SAT 0.016997 0.017977
march_rw 2011-03-02 (complete)3260337SAT 0.017997 0.020645
synit_sat 2011-03-03 (complete)3260341SAT 0.018997 0.018444
Lingeling 587f (fixed) (complete)3371564SAT 0.019996 0.0217031
Lingeling 587 [DEPRECATED] (complete)3260363SAT 0.021995 0.021704
Plingeling 587f (fixed) (complete)3370964SAT 0.023995 0.02253
Plingeling 587 [DEPRECATED] (complete)3260362SAT 0.024995 0.113705
MPhaseSAT_M 2011-02-16 (complete)3260336SAT 0.025995 0.027562
MPhaseSAT 2011-02-15 (complete)3260334SAT 0.025995 0.0308489
SArTagnan 2011-05-15 (fixed) (complete)3385908SAT 0.026995 0.016021
MPhaseSAT64 2011-05-14 (fixed) (complete)3375464SAT 0.026995 0.028683
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260335SAT 0.031994 0.0385281
ppfolio par (complete)3260369SAT 0.033993 0.0132529
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260351SAT 0.034993 0.0139771
QuteRSat 2011-05-12 (fixed) (complete)3376664SAT 0.036994 0.038132
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260364SAT 0.039993 0.126177
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260353SAT 0.040993 0.014907
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366764SAT 0.051992 0.0187391
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369164SAT 0.06199 0.0225101
CryptoMiniSat TechDemo-Alpha-mt (complete)3260349SAT 0.105983 0.038937
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260368SAT 0.134979 0.153939
jMiniSat 2011 (complete)3279841SAT 0.146976 0.147361
Sol 2011-04-04 (complete)3260365SAT 0.19497 0.19369
riss Auto (complete)3260357SAT 2.28665 2.28786
riss Exp (complete)3260356SAT 2.29165 2.29365
riss 1.0 (complete)3260355SAT 2.49162 2.49257
riss Auto (1200 s timeout) (complete)3472872SAT 2.50862 2.50848
priss UP (complete)3260358SAT 2.56261 2.55358
STRUCTure 0.1 (complete)3312988SAT 2.69059 0.993617
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449641SAT 2.75558 2.78464
Satisfiability Solver Selector 2011-03-18 (complete)3260371SAT 2.79757 2.83162
STRUCTure 0.1 (hbr=2) (complete)3311788SAT 3.15352 1.0324
priss 1.0 (complete)3260360SAT 9.11861 2.29667
priss Auto (complete)3260359SAT 9.15061 2.3269
tts 5-4 (complete)3260373SAT 21.8747 21.8746
ttsth 5-4 (complete)3260374SAT 35.6356 8.97041
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260375No Cert. 0.003998 0.00617704

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 -5 -6 -7 8 -9 -10 -11 12 -13 -14 -15 16 -17 -18 -19 20 -21 -22 23 -24 -25 -26 27 -28 -29 -30 31 -32 -33 -34 -35 36 -37 -38 39 -40
-41 42 -43 -44 -45 46 -47 -48 -49 -50 -51 52 -53 -54 55 -56 -57 58 -59 -60 61 -62 -63 -64 -65 -66 -67 68 -69 -70 71 -72 -73 74 -75 -76 77
-78 -79 -80 -81 -82 -83 84 -85 -86 87 -88 -89 90 -91 -92 93 -94 -95 -96 -97 -98 -99 100 -101 -102 103 -104 -105 106 -107 -108 109 -110 -111
-112 -113 -114 -115 116 -117 -118 119 -120 -121 122 -123 -124 125 -126 -127 -128 -129 -130 -131 132 -133 -134 135 -136 -137 138 -139 -140
141 -142 -143 -144 -145 -146 -147 148 -149 -150 151 -152 -153 154 -155 -156 157 -158 -159 -160 -161 -162 -163 164 -165 -166 167 -168 -169
170 -171 -172 173 -174 -175 -176 0