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

Result page for benchmark
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-28-302-26-75.cnf
MD5SUMc8a761b6d0b0b208363324b0ab04d363
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.18597
Satisfiable
(Un)Satisfiability was proved
Number of variables728
Number of clauses48442
Sum of the clauses size97560
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 248416
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
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738401SAT 0.181972 0.174738
MiniSAT 09z 2009-03-22 (complete)1834280SAT 0.18597 0.186276
adaptg2wsat2009 2009-03-23 (incomplete)1738392SAT 0.735887 0.736763
adaptg2wsat2009++ 2009-03-23 (incomplete)1738393SAT 27.0649 27.1944
gNovelty+-T 2009-03-22 (incomplete)1738400SAT 29.5325 14.8979
TNM 2009-03-22 (incomplete)1738383SAT 51.8471 51.8634
gnovelty+ 2009-03-22 (incomplete)1738387SAT 56.3664 56.3879
Hybrid2 2009-03-22 (incomplete)1738381SAT 63.8683 63.9119
hybridGM 1 (incomplete)1738384SAT 68.4846 68.5025
SATzilla2009_R 2009-03-22 (complete)1738378SAT 85.1661 85.2157
iPAWS 2009-03-22 (incomplete)1738370SAT 90.0443 90.0787
hybridGM3 3 (incomplete)1738385SAT 118.281 118.316
tts tts-5-0 (complete)1738359? 1199.97 1200.29
ttsth-5-0 2009-03-19 (complete)1738399? 1200.07 602.28
hybridGM7 7 (incomplete)1738386? (exit code) 5.21321 5.49823
SATzilla2009_C 2009-03-22 (complete)1738379? (exit code) 1198.85 1199.39
SATzilla2009_I 2009-03-22 (complete)1738380? (exit code) 1198.91 1199.43
SAT07 reference solver: SATzilla CRAFTED (complete)1738405? (exit code) 1199.18 1199.5
minisat_cumr p-2009-03-18 (complete)1834279? (TO) 1200.01 1200.61
glucose 1.0 (complete)1738357? (TO) 1200.02 1200.41
SApperloT base (complete)1738363? (TO) 1200.03 1200.32
kw 2009-03-20 (complete)1738355? (TO) 1200.04 1200.34
HydraSAT-Multi 2009-03-22-Multi (complete)1738372? (TO) 1200.04 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738369? (TO) 1200.05 601.519
LySAT c/2009-03-20 (complete)1738366? (TO) 1200.05 1200.61
satake 2009-03-22 (complete)1738403? (TO) 1200.05 601.329
CSat 2009-03-22 (complete)1738371? (TO) 1200.05 1200.44
HydraSAT-Flat 2009-03-22-Flat (complete)1738373? (TO) 1200.06 1200.51
HydraSAT 2009-03-22-Base (complete)1738374? (TO) 1200.06 1200.41
IUT_BMB_SAT 1.0 (complete)1738377? (TO) 1200.06 1200.72
march_nn nn (complete)1738376? (TO) 1200.07 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1738406? (TO) 1200.07 1200.63
Rsat 2009-03-22 (complete)1738395? (TO) 1200.07 1200.61
slstc 1.0 (incomplete)1738391? (TO) 1200.08 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738396? (TO) 1200.08 1200.53
gnovelty+2 2009-03-22 (incomplete)1738398? (TO) 1200.08 1200.51
SAT07 reference solver: minisat SAT 2007 (complete)1738404? (TO) 1200.08 1200.52
CircUs 2009-03-23 (complete)1738394? (TO) 1200.08 1200.42
LySAT i/2009-03-20 (complete)1738365? (TO) 1200.08 1200.41
MXC 2009-03-10 (complete)1738358? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1738389? (TO) 1200.09 1200.42
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738368? (TO) 1200.09 601.521
MoRsat 2009-03-03 (complete)1738356? (TO) 1200.1 1200.43
clasp 1.2.0-SAT09-32 (complete)1738362? (TO) 1200.1 1200.52
VARSAT-random 2009-03-22 (complete)1738390? (TO) 1200.1 1200.53
precosat 236 (complete)1738361? (TO) 1200.1 1200.52
gNovelty+-V.2-T 2009-03-22 (incomplete)1738402? (TO) 1200.1 601.413
NCVWr 2009-03-22 (incomplete)1738382? (TO) 1200.1 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1738397? (TO) 1200.11 1200.41
picosat 913 (complete)1738360? (TO) 1200.11 1200.51
march_hi hi (complete)1738375? (TO) 1200.11 1200.41
VARSAT-crafted 2009-03-22 (complete)1738388? (TO) 1200.12 1200.52
SApperloT hrp (complete)1738364? (TO) 1200.13 1200.45
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738367? (TO) 1200.16 601.519
SAT4J CORE 2.1 RC1 (complete)1738354? (TO) 1200.31 1199.95

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