SAT 2011 Competition: main competition (phase 1): 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.025995
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)3260317SAT 0.025995 0.0273891
SApperloT2010 2011-05-15 (fixed) (complete)3379674SAT 0.056991 0.0567911
SApperloT 2011-03-23 (complete)3260333SAT 0.082987 0.0865639
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260332SAT 0.088985 0.039686
UmSat 2011-02-25 [DEPRECATED] (complete)3260303SAT 0.149976 0.151038
UmSat 2011-05-12 (fixed) (complete)3379074SAT 0.153976 0.155569
MPhaseSAT 2011-02-15 (complete)3260290SAT 0.19297 0.19288
MPhaseSAT_M 2011-02-16 (complete)3260292SAT 0.208967 0.21009
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367974SAT 0.208967 0.212206
RestartSAT A75 (complete)3260302SAT 0.215966 0.218097
Black Hole SAT 2011-03-08 (complete)3260304SAT 0.218966 0.219368
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370374SAT 0.222966 0.224579
RestartSAT B95 (complete)3260301SAT 0.223965 0.22649
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260310SAT 0.232964 0.238206
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260308SAT 0.235963 0.241208
CryptoMiniSat TechDemo-Alpha-st (complete)3260306SAT 0.235963 0.250948
QuteRSat 2011-05-12 (fixed) (complete)3376674SAT 0.245962 0.246794
rcl 2011-04-01 (complete)3260322SAT 0.25096 0.251704
shortsattime+ 2011-03-02 (incomplete)3260299SAT 0.251961 0.256199
sattime2011 2011-03-02 (incomplete)3260294SAT 0.25296 0.25471
shortsattime2011 2011-03-02 (incomplete)3260296SAT 0.25396 0.255722
sathys 2011-04-01 (complete)3260323SAT 0.25896 0.265106
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260320SAT 0.260959 0.260502
synit_sat 2011-03-03 (complete)3260297SAT 0.263959 0.267756
adaptg2wsat2011 2011-03-02 (incomplete)3260298SAT 0.275957 0.276876
sattime 2011-03-02 (incomplete)3260295SAT 0.279956 0.279765
sattime+ 2011-03-02 (incomplete)3260300SAT 0.285955 0.286226
SArTagnan 2011-05-15 (fixed) (complete)3385918SAT 0.31695 0.145327
clasp 2.0-R4092-crafted (complete)3300353SAT 0.316951 0.318395
SAT07 reference solver: minisat SAT 2007 (complete)3274325SAT 0.366943 0.367421
claspmt 2.0-R4095 [DEPRECATED] (complete)3299453SAT 0.368943 0.325145
claspmt 2.0-R4095-patched (fixed) (complete)3373074SAT 0.369942 0.322194
ppfolio seq (complete)3260326SAT 0.374942 0.38011
march_rw 2011-03-02 (complete)3260293SAT 0.393939 0.394066
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274323SAT 0.398938 0.400088
glucose 2 (complete)3260328SAT 0.549915 0.550132
Lingeling 587 [DEPRECATED] (complete)3260319SAT 0.609906 0.610951
MPhaseSAT64 2011-05-14 (fixed) (complete)3375474SAT 0.611906 0.623788
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260291SAT 0.627904 0.629685
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274324SAT 0.643901 0.645226
Lingeling 587f (fixed) (complete)3371574SAT 0.665898 0.665749
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260324SAT 0.682895 0.598143
jMiniSat 2011 (complete)3279851SAT 0.71289 0.504421
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366774SAT 0.836871 0.219204
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260307SAT 0.870867 0.227276
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260309SAT 0.896863 0.235274
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369174SAT 0.910861 0.242162
ppfolio par (complete)3260325SAT 0.964852 0.249262
CryptoMiniSat TechDemo-Alpha-mt (complete)3260305SAT 0.972851 0.282759
riss 1.0 (complete)3260311SAT 1.47777 1.47822
riss Auto (complete)3260313SAT 1.47878 1.47939
riss Auto (1200 s timeout) (complete)3472870SAT 1.52877 1.53019
priss UP (complete)3260314SAT 1.58476 1.55185
riss Exp (complete)3260312SAT 1.64175 1.64758
Plingeling 587 [DEPRECATED] (complete)3260318SAT 1.9497 0.570213
Plingeling 587f (fixed) (complete)3370974SAT 1.9787 0.54213
Sol 2011-04-04 (complete)3260321SAT 4.35434 4.33787
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449639SAT 4.72828 5.0206
Satisfiability Solver Selector 2011-03-18 (complete)3260327SAT 4.94 5.01023
priss 1.0 (complete)3260316SAT 6.13607 1.60138
priss Auto (complete)3260315SAT 6.14806 1.60713
STRUCTure 0.1 (complete)3312998SAT 19.609 5.48375
STRUCTure 0.1 (hbr=2) (complete)3311798SAT 20.5269 5.72269
tts 5-4 (complete)3260329? (TO) 1300.12 1300.08
ttsth 5-4 (complete)3260330? (TO) 4800.28 1202.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260331No Cert. 0.053991 0.0561099

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