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

Result page for benchmark
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
MD5SUM77c99bec4213dcc6c3ba45acbf0b6bc7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables728
Number of clauses18954
Sum of the clauses size38584
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 218928
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT 2011-03-23 (complete)3257693SAT 0.005998 0.00658094
PicoSAT 941 (complete)3257677SAT 0.008997 0.010948
Black Hole SAT 2011-03-08 (complete)3257664SAT 0.008998 0.0143681
SArTagnan 2011-03-24 [DEPRECATED] (complete)3257692SAT 0.011997 0.01017
RestartSAT A75 (complete)3257662SAT 0.016996 0.0165469
RestartSAT B95 (complete)3257661SAT 0.016997 0.017858
SApperloT2010 2011-05-15 (fixed) (complete)3379660SAT 0.019996 0.0212
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367960SAT 0.020996 0.0216859
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3257670SAT 0.022995 0.0283439
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370360SAT 0.023995 0.0242771
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3257668SAT 0.024995 0.0260571
CryptoMiniSat TechDemo-Alpha-st (complete)3257666SAT 0.028994 0.0447201
clasp 2.0-R4092-crafted (complete)3300339SAT 0.032994 0.0332469
adaptg2wsat2011 2011-03-02 (incomplete)3257658SAT 0.033993 0.034366
sattime+ 2011-03-02 (incomplete)3257660SAT 0.033993 0.0354491
Plingeling 587 [DEPRECATED] (complete)3257678SAT 0.033993 0.0301011
sattime 2011-03-02 (incomplete)3257655SAT 0.033994 0.035487
SArTagnan 2011-05-15 (fixed) (complete)3385904SAT 0.035993 0.018754
ppfolio seq (complete)3257686SAT 0.035994 0.0359031
glucose 2 (complete)3257688SAT 0.037993 0.0391849
shortsattime+ 2011-03-02 (incomplete)3257659SAT 0.037993 0.0442829
sattime2011 2011-03-02 (incomplete)3257654SAT 0.037993 0.0390901
shortsattime2011 2011-03-02 (incomplete)3257656SAT 0.038994 0.0397581
claspmt 2.0-R4095 [DEPRECATED] (complete)3299439SAT 0.039993 0.0453541
claspmt 2.0-R4095-patched (fixed) (complete)3373060SAT 0.040993 0.0413099
Plingeling 587f (fixed) (complete)3370960SAT 0.044992 0.0321601
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273214SAT 0.047992 0.0482201
rcl 2011-04-01 (complete)3257682SAT 0.047992 0.048426
sathys 2011-04-01 (complete)3257683SAT 0.049991 0.0512859
UmSat 2011-05-12 (fixed) (complete)3379060SAT 0.074987 0.076259
QuteRSat 2011-03-01 [DEPRECATED] (complete)3257680SAT 0.079987 0.084799
UmSat 2011-02-25 [DEPRECATED] (complete)3257663SAT 0.081987 0.081705
MPhaseSAT_M 2011-02-16 (complete)3257652SAT 0.084986 0.0868069
QuteRSat 2011-05-12 (fixed) (complete)3376660SAT 0.084986 0.0904151
synit_sat 2011-03-03 (complete)3257657SAT 0.087986 0.093237
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3257669SAT 0.089985 0.028512
MPhaseSAT 2011-02-15 (complete)3257650SAT 0.091985 0.0938081
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3257667SAT 0.101984 0.032179
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366760SAT 0.104983 0.033964
ppfolio par (complete)3257685SAT 0.105983 0.031959
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369160SAT 0.118981 0.0372689
SAT07 reference solver: minisat SAT 2007 (complete)3273216SAT 0.142978 0.143972
Lingeling 587f (fixed) (complete)3371560SAT 0.175972 0.1806
Lingeling 587 [DEPRECATED] (complete)3257679SAT 0.177972 0.183619
CryptoMiniSat TechDemo-Alpha-mt (complete)3257665SAT 0.178972 0.06722
ttsth 5-4 (complete)3257690SAT 0.183971 0.184365
MPhaseSAT64 2011-05-14 (fixed) (complete)3375460SAT 0.194969 0.208617
tts 5-4 (complete)3257689SAT 0.194969 0.194958
march_rw 2011-03-02 (complete)3257653SAT 0.220965 0.220988
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3257651SAT 0.235963 0.237086
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3257684SAT 0.333948 0.233213
jMiniSat 2011 (complete)3279837SAT 0.338948 0.261911
riss Auto (1200 s timeout) (complete)3472654SAT 0.686894 0.688822
riss Auto (complete)3257673SAT 0.688895 0.694556
riss 1.0 (complete)3257671SAT 0.689894 0.69049
riss Exp (complete)3257672SAT 0.739886 0.741886
priss UP (complete)3257674SAT 0.939856 0.922588
priss Auto (complete)3257675SAT 2.73458 0.705733
priss 1.0 (complete)3257676SAT 2.75758 0.706396
Satisfiability Solver Selector 2011-03-18 (complete)3257687SAT 3.43248 14.9405
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448823SAT 3.46947 3.67801
STRUCTure 0.1 (complete)3312984SAT 4.24135 1.47696
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273215SAT 5.08423 5.08457
STRUCTure 0.1 (hbr=2) (complete)3311784SAT 5.58915 1.82925
Sol 2011-04-04 (complete)3257681SAT 5.73513 6.84772
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3257691No Cert. 0.022995 0.0235269

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 -721
-722 -723 -724 -725 -726 -727 -728  0