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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x9.cnf
MD5SUM6cf040f0375e72e53e8c93b698d7f65b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables396
Number of clauses8613
Sum of the clauses size33264
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2594
Number of clauses of size 30
Number of clauses of size 48019
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)3438849SAT 0.008997 0.017489
SApperloT2010 2011-05-15 (fixed) (complete)3438848SAT 0.015996 0.017962
RestartSAT B95 (complete)3421066SAT 0.041992 0.0462779
Plingeling 587f (fixed) (complete)3394482SAT 0.044992 0.0313911
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421858SAT 0.049991 0.0511301
ppfolio seq (complete)3275457SAT 0.054991 0.058509
sattime+ 2011-03-02 (incomplete)3499852SAT 0.054991 0.0558501
sattime 2011-03-02 (incomplete)3427178SAT 0.056991 0.057304
SAT07 reference solver: minisat SAT 2007 (complete)3275459SAT 0.05899 0.059376
SArTagnan 2011-05-15 (fixed) (complete)3438851SAT 0.061989 0.024511
clasp 2.0-R4092-crafted (complete)3423058SAT 0.063989 0.0641539
sathys 2011-04-01 (complete)3438850SAT 0.070988 0.0702619
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275458SAT 0.077987 0.0787751
claspmt 2.0-R4095-patched (fixed) (complete)3381025SAT 0.089986 0.0775381
QuteRSat 2011-05-12 (fixed) (complete)3421065SAT 0.092985 0.0941079
glucose 2 (complete)3303431SAT 0.165974 0.167085
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499360SAT 0.180971 0.181818
MPhaseSAT 2011-02-15 (complete)3445722SAT 0.182971 0.185319
ppfolio par (complete)3275456SAT 0.198969 0.0535621
jMiniSat 2011 (complete)3438852SAT 0.505922 0.276274
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421558SAT 0.862868 0.132955
Sol 2011-04-04 (complete)3394483SAT 1.08883 1.07893
Satisfiability Solver Selector 2011-03-18 (complete)3275455SAT 3.16 3.20696
priss 1.0 (complete)3499359SAT 3.52846 0.914872
claspmt 2.0-R4095 [DEPRECATED] (complete)3322420Signal 0.104983 0.0965859

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 -217 218 -219 -220 221 -222 -223 -224 -225 -226 -227 228
-229 -230 -231 232 233 -234 -235 -236 -237 -238 239 -240 -241 -242 243 -244 245 -246 -247 -248 -249 250 -251 -252 253 -254 -255 -256 -257
258 -259 -260 261 -262 -263 -264 -265 -266 -267 268 -269 -270 271 -272 -273 274 -275 -276 -277 -278 279 -280 -281 -282 -283 284 285 -286
-287 -288 -289 290 -291 -292 -293 -294 295 -296 -297 -298 299 -300 -301 -302 -303 304 305 -306 -307 -308 -309 310 -311 -312 -313 -314 315
-316 -317 -318 319 -320 321 -322 -323 -324 325 -326 -327 -328 329 -330 -331 -332 -333 -334 -335 336 -337 -338 339 -340 -341 342 -343 -344
345 -346 -347 -348 -349 -350 351 -352 -353 -354 -355 356 -357 -358 -359 360 -361 362 -363 -364 -365 366 -367 -368 -369 -370 -371 372 -373
374 -375 -376 377 -378 -379 -380 -381 -382 -383 384 385 -386 -387 -388 -389 -390 391 -392 -393 -394 395 -396 0