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

Result page for benchmark
CRAFTED/sgi/
sgi-difficult7.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
sgi-difficult7.cnf
MD5SUM99db6397e91b77ca5e6f5d44dc60b594
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables728
Number of clauses28986
Sum of the clauses size58648
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228960
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 hrp (complete)1736201SAT 0.013997 0.0141179
SApperloT base (complete)1736200SAT 0.015996 0.015258
picosat 913 (complete)1736197SAT 0.017997 0.018634
iPAWS 2009-03-22 (incomplete)1736207SAT 0.041992 0.0429881
SATzilla2009_R 2009-03-22 (complete)1736215SAT 0.044992 0.0444701
satake 2009-03-22 (complete)1736240SAT 0.054991 0.0345239
CSat 2009-03-22 (complete)1736208SAT 0.05599 0.05631
CircUs 2009-03-23 (complete)1736231SAT 0.063989 0.064483
hybridGM7 7 (incomplete)1736223SAT 0.070988 0.0715489
hybridGM3 3 (incomplete)1736222SAT 0.070988 0.071724
hybridGM 1 (incomplete)1736221SAT 0.072988 0.0729619
gnovelty+2-H 2009-03-22 (incomplete)1736234SAT 0.088986 0.088349
gnovelty+2 2009-03-22 (incomplete)1736235SAT 0.092985 0.093287
gNovelty+-V.2-T 2009-03-22 (incomplete)1736239SAT 0.095985 0.0918831
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1736238SAT 0.096985 0.094644
MiniSat 2.1 (Sat-race'08 Edition) (complete)1736233SAT 0.098984 0.099928
glucose 1.0 (complete)1736194SAT 0.106983 0.108147
MoRsat 2009-03-03 (complete)1736193SAT 0.110982 0.110798
Rsat 2009-03-22 (complete)1736232SAT 0.110982 0.112067
minisat_cumr p-2009-03-18 (complete)1834145SAT 0.111982 0.110649
MiniSAT 09z 2009-03-22 (complete)1834146SAT 0.111982 0.112953
clasp 1.2.0-SAT09-32 (complete)1736199SAT 0.112982 0.113333
Hybrid2 2009-03-22 (incomplete)1736218SAT 0.119981 0.119887
TNM 2009-03-22 (incomplete)1736220SAT 0.120981 0.119859
NCVWr 2009-03-22 (incomplete)1736219SAT 0.12298 0.123901
LySAT c/2009-03-20 (complete)1736203SAT 0.12398 0.124094
LySAT i/2009-03-20 (complete)1736202SAT 0.12498 0.126118
slstc 1.0 (incomplete)1736228SAT 0.136979 0.135966
ManySAT 1.1 aimd 2/2009-03-20 (complete)1736206SAT 0.142978 0.142511
ManySAT 1.1 aimd 1/2009-03-20 (complete)1736205SAT 0.143977 0.141369
ManySAT 1.1 aimd 0/2009-03-20 (complete)1736204SAT 0.144977 0.14222
adaptg2wsat2009 2009-03-23 (incomplete)1736229SAT 0.149976 0.15072
adaptg2wsat2009++ 2009-03-23 (incomplete)1736230SAT 0.150976 0.151093
gNovelty+-T 2009-03-22 (incomplete)1736237SAT 0.185971 0.181363
gnovelty+ 2009-03-22 (incomplete)1736224SAT 0.204968 0.205643
SATzilla2009_I 2009-03-22 (complete)1736217SAT 0.276957 0.276682
MXC 2009-03-10 (complete)1736195SAT 0.280957 0.280585
VARSAT-crafted 2009-03-22 (complete)1736225SAT 0.344947 0.345952
SAT07 reference solver: minisat SAT 2007 (complete)1596185SAT 0.347946 0.348804
precosat 236 (complete)1736198SAT 0.348946 0.34918
VARSAT-industrial 2009-03-22 (complete)1736226SAT 0.353945 0.354205
tts tts-5-0 (complete)1736196SAT 0.38694 0.387237
ttsth-5-0 2009-03-19 (complete)1736236SAT 0.39094 0.390472
HydraSAT 2009-03-22-Base (complete)1736211SAT 0.499923 0.500401
HydraSAT-Multi 2009-03-22-Multi (complete)1736209SAT 0.503923 0.504026
HydraSAT-Flat 2009-03-22-Flat (complete)1736210SAT 0.540917 0.541676
SAT4J CORE 2.1 RC1 (complete)1736191SAT 0.606907 0.460986
march_nn nn (complete)1736213SAT 0.660898 0.661417
march_hi hi (complete)1736212SAT 0.661899 0.661849
IUT_BMB_SAT 1.0 (complete)1736214SAT 0.737887 0.739031
kw 2009-03-20 (complete)1736192SAT 1.45078 1.45138
SAT07 reference solver: SATzilla CRAFTED (complete)1596186SAT 5.03423 5.04077
SATzilla2009_C 2009-03-22 (complete)1736216SAT 5.29819 5.30991
VARSAT-random 2009-03-22 (complete)1736227SAT 16.5065 16.5119
SAT07 reference solver: March KS 2007-02-08 (complete)1596187? (TO) 1200.03 1200.53

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