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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-12x15.cnf
MD5SUMc77d740bbf7d77b30e6053138dd22e73
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073987
Satisfiable
(Un)Satisfiability was proved
Number of variables720
Number of clauses28980
Sum of the clauses size113760
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21080
Number of clauses of size 30
Number of clauses of size 427900
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)3438743SAT 0.073987 0.0770451
PicoSAT 941 (complete)3438744SAT 0.084986 0.0851931
SArTagnan 2011-05-15 (fixed) (complete)3438746SAT 0.18597 0.054307
MPhaseSAT 2011-02-15 (complete)3445701SAT 0.18997 0.191144
RestartSAT B95 (complete)3421024SAT 0.218966 0.220292
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421837SAT 0.240962 0.240604
sathys 2011-04-01 (complete)3438745SAT 0.279956 0.281322
QuteRSat 2011-05-12 (fixed) (complete)3421023SAT 0.293954 0.29494
sattime 2011-03-02 (incomplete)3427157SAT 0.313951 0.313866
sattime+ 2011-03-02 (incomplete)3499831SAT 0.313951 0.313808
SAT07 reference solver: minisat SAT 2007 (complete)3275354SAT 0.364943 0.366118
glucose 2 (complete)3303410SAT 0.371943 0.373438
clasp 2.0-R4092-crafted (complete)3423037SAT 0.375942 0.379014
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275353SAT 0.504922 0.504912
claspmt 2.0-R4095-patched (fixed) (complete)3381004SAT 0.561914 0.413635
jMiniSat 2011 (complete)3438747SAT 0.578911 0.324329
ppfolio seq (complete)3275352SAT 0.58491 0.587478
ppfolio par (complete)3275351SAT 0.691894 0.234604
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499318SAT 0.787879 0.788237
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421537SAT 2.33464 0.355319
Plingeling 587f (fixed) (complete)3394440SAT 2.83257 0.525147
Satisfiability Solver Selector 2011-03-18 (complete)3275350SAT 5.14122 5.45301
Sol 2011-04-04 (complete)3394441SAT 7.33088 7.28912
priss 1.0 (complete)3499317SAT 10.4944 2.8002
claspmt 2.0-R4095 [DEPRECATED] (complete)3322399Signal 0.672897 0.498228

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 -673 -674 675 -676 -677 -678 -679 680 -681 -682 -683 684 -685 -686 -687 688 -689 -690 691 -692
693 -694 -695 -696 -697 -698 -699 700 -701 702 -703 -704 -705 706 -707 -708 -709 -710 711 -712 -713 714 -715 -716 717 -718 -719 -720  0