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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-6x8.cnf
MD5SUM0836620198442c187bac3443fd060059
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables192
Number of clauses2016
Sum of the clauses size7488
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2288
Number of clauses of size 30
Number of clauses of size 41728
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
SApperloT2010 2011-05-15 (fixed) (complete)3438838SAT 0.004998 0.0154531
PicoSAT 941 (complete)3438839SAT 0.004998 0.01774
sattime 2011-03-02 (incomplete)3427176SAT 0.007998 0.0174229
sattime+ 2011-03-02 (incomplete)3499850SAT 0.007998 0.00830509
RestartSAT B95 (complete)3421062SAT 0.008997 0.019086
clasp 2.0-R4092-crafted (complete)3423056SAT 0.009998 0.018137
SAT07 reference solver: minisat SAT 2007 (complete)3275449SAT 0.010997 0.010958
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421856SAT 0.010997 0.011397
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275448SAT 0.010998 0.0126931
ppfolio seq (complete)3275447SAT 0.012997 0.013276
claspmt 2.0-R4095 [DEPRECATED] (complete)3322418SAT 0.015997 0.0155719
claspmt 2.0-R4095-patched (fixed) (complete)3381023SAT 0.016997 0.0166021
sathys 2011-04-01 (complete)3438840SAT 0.018996 0.047227
glucose 2 (complete)3303429SAT 0.021996 0.0222921
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499356SAT 0.025995 0.026452
MPhaseSAT 2011-02-15 (complete)3445720SAT 0.031995 0.0340899
ppfolio par (complete)3275446SAT 0.045992 0.0161681
QuteRSat 2011-05-12 (fixed) (complete)3421061SAT 0.047992 0.0474921
SArTagnan 2011-05-15 (fixed) (complete)3438841SAT 0.05799 0.0230281
Plingeling 587f (fixed) (complete)3394478SAT 0.071988 0.0619221
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421556SAT 0.19397 0.0379009
jMiniSat 2011 (complete)3438842SAT 0.231963 0.185957
Sol 2011-04-04 (complete)3394479SAT 0.250961 0.24807
Satisfiability Solver Selector 2011-03-18 (complete)3275445SAT 3.03454 3.78291
priss 1.0 (complete)3499355SAT 5.83511 1.47538

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 177 -178 -179 -180 181 -182 -183 -184 185 -186 -187 -188 -189 190 -191 -192  0