SAT 2011 Competition: main competition (phase 1): 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.083987
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-03-04 [DEPRECATED] (complete)3260023SAT 0.074987 0.076667
PicoSAT 941 (complete)3260009SAT 0.083987 0.089326
SApperloT2010 2011-05-15 (fixed) (complete)3379675SAT 0.084986 0.095966
UmSat 2011-02-25 [DEPRECATED] (complete)3259995SAT 0.177972 0.178536
UmSat 2011-05-12 (fixed) (complete)3379075SAT 0.181971 0.181822
MPhaseSAT_M 2011-02-16 (complete)3259984SAT 0.18997 0.191428
MPhaseSAT 2011-02-15 (complete)3259982SAT 0.209967 0.211161
RestartSAT A75 (complete)3259994SAT 0.218966 0.219176
CryptoMiniSat TechDemo-Alpha-st (complete)3259998SAT 0.227964 0.240505
RestartSAT B95 (complete)3259993SAT 0.237963 0.239035
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367975SAT 0.237963 0.239732
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260000SAT 0.248961 0.250374
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370375SAT 0.272957 0.277197
sathys 2011-04-01 (complete)3260015SAT 0.281956 0.283792
rcl 2011-04-01 (complete)3260014SAT 0.294954 0.292734
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260002SAT 0.301953 0.303902
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260012SAT 0.308952 0.310538
adaptg2wsat2011 2011-03-02 (incomplete)3259990SAT 0.308952 0.313548
sattime2011 2011-03-02 (incomplete)3259986SAT 0.311951 0.312492
QuteRSat 2011-05-12 (fixed) (complete)3376675SAT 0.312952 0.314363
shortsattime+ 2011-03-02 (incomplete)3259991SAT 0.314951 0.315873
sattime+ 2011-03-02 (incomplete)3259992SAT 0.314951 0.319904
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260024SAT 0.315951 0.0970331
shortsattime2011 2011-03-02 (incomplete)3259988SAT 0.32195 0.321923
glucose 2 (complete)3260020SAT 0.339947 0.343982
sattime 2011-03-02 (incomplete)3259987SAT 0.341947 0.342304
synit_sat 2011-03-03 (complete)3259989SAT 0.344947 0.346695
SAT07 reference solver: minisat SAT 2007 (complete)3274280SAT 0.348946 0.349911
clasp 2.0-R4092-crafted (complete)3300354SAT 0.376942 0.379427
SApperloT 2011-03-23 (complete)3260025SAT 0.397938 0.399741
claspmt 2.0-R4095 [DEPRECATED] (complete)3299454SAT 0.440932 0.388105
claspmt 2.0-R4095-patched (fixed) (complete)3373075SAT 0.473927 0.402647
SArTagnan 2011-05-15 (fixed) (complete)3385919SAT 0.558914 0.299555
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274278SAT 0.558914 0.559883
jMiniSat 2011 (complete)3279852SAT 0.635902 0.392671
Lingeling 587 [DEPRECATED] (complete)3260011SAT 0.679896 0.680823
Lingeling 587f (fixed) (complete)3371575SAT 0.683895 0.683352
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274279SAT 0.792878 0.792771
ppfolio seq (complete)3260018SAT 0.826873 0.827431
Black Hole SAT 2011-03-08 (complete)3259996SAT 0.897863 0.897417
MPhaseSAT64 2011-05-14 (fixed) (complete)3375475SAT 0.917859 0.91906
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366775SAT 0.964852 0.256677
ppfolio par (complete)3260017SAT 0.994848 0.252822
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259999SAT 1.01284 0.261606
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259983SAT 1.01884 1.01989
CryptoMiniSat TechDemo-Alpha-mt (complete)3259997SAT 1.03984 0.303617
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369175SAT 1.04484 0.271049
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260001SAT 1.07983 0.281128
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260016SAT 1.19182 0.6935
march_rw 2011-03-02 (complete)3259985SAT 1.58976 1.58907
riss Exp (complete)3260004SAT 1.68174 1.68215
riss Auto (1200 s timeout) (complete)3472855SAT 1.68574 1.68976
Plingeling 587 [DEPRECATED] (complete)3260010SAT 2.14267 0.61911
Plingeling 587f (fixed) (complete)3370975SAT 2.15867 0.641793
riss Auto (complete)3260005SAT 3.54146 3.5476
riss 1.0 (complete)3260003SAT 3.74143 3.74441
Satisfiability Solver Selector 2011-03-18 (complete)3260019SAT 5.34 5.46551
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449624SAT 5.40218 5.73785
priss UP (complete)3260006SAT 6.22905 4.31074
priss Auto (complete)3260007SAT 6.88295 1.75386
priss 1.0 (complete)3260008SAT 7.12092 1.87829
Sol 2011-04-04 (complete)3260013SAT 7.42887 7.41431
STRUCTure 0.1 (hbr=2) (complete)3311799SAT 41.9236 11.1598
tts 5-4 (complete)3260021? (TO) 1300.15 1300.13
STRUCTure 0.1 (complete)3312999? (TO) 4800.44 1206.55
ttsth 5-4 (complete)3260022? (TO) 4800.67 1202.38

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