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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-6x9.cnf
MD5SUM7cb6eb41697b41369a6f06ef320865a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002999
Satisfiable
(Un)Satisfiability was proved
Number of variables216
Number of clauses2538
Sum of the clauses size9504
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2324
Number of clauses of size 30
Number of clauses of size 42214
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)3438854SAT 0.002999 0.017298
SApperloT2010 2011-05-15 (fixed) (complete)3438853SAT 0.004998 0.0154371
sattime+ 2011-03-02 (incomplete)3499853SAT 0.009998 0.011205
RestartSAT B95 (complete)3421068SAT 0.010997 0.013918
sattime 2011-03-02 (incomplete)3427179SAT 0.010998 0.0157779
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421859SAT 0.012997 0.01388
clasp 2.0-R4092-crafted (complete)3423059SAT 0.012998 0.016508
SAT07 reference solver: minisat SAT 2007 (complete)3275464SAT 0.012998 0.013342
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275463SAT 0.014996 0.0150939
ppfolio seq (complete)3275462SAT 0.016997 0.0163109
claspmt 2.0-R4095 [DEPRECATED] (complete)3322421SAT 0.017996 0.018294
sathys 2011-04-01 (complete)3438855SAT 0.021995 0.0209161
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499362SAT 0.034994 0.0350781
glucose 2 (complete)3303432SAT 0.034994 0.0349259
MPhaseSAT 2011-02-15 (complete)3445723SAT 0.041993 0.0427039
QuteRSat 2011-05-12 (fixed) (complete)3421067SAT 0.052991 0.0537601
Plingeling 587f (fixed) (complete)3394484SAT 0.055991 0.0303599
ppfolio par (complete)3275461SAT 0.06199 0.0162499
SArTagnan 2011-05-15 (fixed) (complete)3438856SAT 0.136978 0.033146
jMiniSat 2011 (complete)3438857SAT 0.268958 0.188524
Sol 2011-04-04 (complete)3394485SAT 0.290955 0.293801
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421559SAT 0.311952 0.0548799
Satisfiability Solver Selector 2011-03-18 (complete)3275460SAT 2.80257 2.83831
priss 1.0 (complete)3499361SAT 6.62999 1.73016
claspmt 2.0-R4095-patched (fixed) (complete)3381026Signal 0.026995 0.0241121

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 193 -194 -195 -196 197 -198 -199
-200 -201 -202 -203 204 -205 -206 207 -208 -209 -210 -211 212 -213 -214 215 -216 0