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

Result page for benchmark
crafted/mosoi/
289/289-sat-12x14.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-12x14.cnf
MD5SUMa0568a31fea120ea655df5ce4d3995aa
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.026995
Satisfiable
(Un)Satisfiability was proved
Number of variables672
Number of clauses25200
Sum of the clauses size98784
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21008
Number of clauses of size 30
Number of clauses of size 424192
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)3438819SAT 0.026995 0.0276149
SApperloT2010 2011-05-15 (fixed) (complete)3438818SAT 0.053991 0.0559669
SArTagnan 2011-05-15 (fixed) (complete)3438821SAT 0.172972 0.0469689
MPhaseSAT 2011-02-15 (complete)3445716SAT 0.195969 0.196616
RestartSAT B95 (complete)3421054SAT 0.204968 0.204841
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421852SAT 0.207967 0.208929
sathys 2011-04-01 (complete)3438820SAT 0.241962 0.240902
QuteRSat 2011-05-12 (fixed) (complete)3421053SAT 0.241962 0.242327
sattime+ 2011-03-02 (incomplete)3499846SAT 0.25196 0.252302
sattime 2011-03-02 (incomplete)3427172SAT 0.25696 0.257241
clasp 2.0-R4092-crafted (complete)3423052SAT 0.316951 0.335895
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275428SAT 0.400938 0.401096
SAT07 reference solver: minisat SAT 2007 (complete)3275429SAT 0.401938 0.406662
claspmt 2.0-R4095 [DEPRECATED] (complete)3322414SAT 0.488924 0.345012
claspmt 2.0-R4095-patched (fixed) (complete)3381019SAT 0.489924 0.34439
glucose 2 (complete)3303425SAT 0.526919 0.527565
jMiniSat 2011 (complete)3438822SAT 0.567913 0.306475
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499348SAT 0.637902 0.637543
ppfolio seq (complete)3275427SAT 0.689894 0.6896
ppfolio par (complete)3275426SAT 1.70774 0.230362
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421552SAT 2.13268 0.324812
Plingeling 587f (fixed) (complete)3394470SAT 3.37649 0.630147
Sol 2011-04-04 (complete)3394471SAT 4.37433 4.3358
Satisfiability Solver Selector 2011-03-18 (complete)3275425SAT 4.72128 5.20313
priss 1.0 (complete)3499347SAT 6.24105 1.63131

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 -397 -398 -399 400 -401 -402
403 -404 -405 406 -407 -408 -409 -410 -411 412 -413 414 -415 -416 -417 -418 -419 420 421 -422 -423 -424 -425 426 -427 -428 -429 430 -431
-432 -433 -434 -435 436 -437 -438 439 -440 441 -442 -443 -444 -445 446 -447 -448 -449 -450 451 -452 -453 -454 -455 456 -457 -458 459 -460
-461 -462 463 -464 -465 -466 467 -468 -469 -470 -471 472 -473 474 -475 -476 -477 -478 -479 480 481 -482 -483 -484 485 -486 -487 -488 -489
490 -491 -492 -493 -494 -495 496 -497 -498 499 -500 -501 502 -503 -504 -505 -506 -507 508 509 -510 -511 -512 -513 -514 -515 516 517 -518
-519 -520 -521 -522 523 -524 -525 -526 -527 528 -529 -530 531 -532 -533 534 -535 -536 -537 -538 539 -540 541 -542 -543 -544 545 -546 -547
-548 -549 550 -551 -552 553 -554 -555 -556 -557 558 -559 -560 561 -562 -563 -564 -565 566 -567 -568 569 -570 -571 -572 -573 -574 -575 576
577 -578 -579 -580 -581 582 -583 -584 -585 -586 -587 588 -589 -590 591 -592 -593 -594 595 -596 597 -598 -599 -600 -601 602 -603 -604 -605
-606 -607 608 -609 -610 611 -612 -613 -614 615 -616 -617 -618 619 -620 -621 622 -623 -624 -625 -626 -627 628 629 -630 -631 -632 -633 634
-635 -636 -637 -638 639 -640 641 -642 -643 -644 645 -646 -647 -648 -649 -650 651 -652 -653 -654 655 -656 -657 -658 -659 660 -661 -662 -663
664 -665 666 -667 -668 -669 670 -671 -672 0