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

Result page for benchmark
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-26-243-24-70.cnf
MD5SUMbf3875bd851fbd5f3e19defeb88389d1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.162975
Satisfiable
(Un)Satisfiability was proved
Number of variables624
Number of clauses38944
Sum of the clauses size78464
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 238920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 524

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSAT 09z 2009-03-22 (complete)1834274SAT 0.162975 0.162632
TNM 2009-03-22 (incomplete)1738224SAT 19.732 19.7387
gNovelty+-V.2-T 2009-03-22 (incomplete)1738243SAT 42.7515 21.4801
gNovelty+-T 2009-03-22 (incomplete)1738241SAT 57.7932 29.0572
adaptg2wsat2009 2009-03-23 (incomplete)1738233SAT 66.9498 66.9797
SATzilla2009_R 2009-03-22 (complete)1738219SAT 102.291 102.358
adaptg2wsat2009++ 2009-03-23 (incomplete)1738234SAT 113.236 113.282
gnovelty+ 2009-03-22 (incomplete)1738228SAT 135.762 135.808
NCVWr 2009-03-22 (incomplete)1738223SAT 137.73 137.78
hybridGM3 3 (incomplete)1738226SAT 150.638 150.688
iPAWS 2009-03-22 (incomplete)1738211SAT 212.13 212.186
hybridGM 1 (incomplete)1738225SAT 242.171 242.261
Hybrid2 2009-03-22 (incomplete)1738222SAT 268.732 268.846
gnovelty+2 2009-03-22 (incomplete)1738239SAT 511.725 511.856
tts tts-5-0 (complete)1738200? 1199.98 1200.34
hybridGM7 7 (incomplete)1738227? (exit code) 1.21381 1.21483
SATzilla2009_C 2009-03-22 (complete)1738220? (exit code) 1198.86 1199.44
SATzilla2009_I 2009-03-22 (complete)1738221? (exit code) 1199.52 1199.91
SAT07 reference solver: SATzilla CRAFTED (complete)1738246? (exit code) 1199.58 1200.19
IUT_BMB_SAT 1.0 (complete)1738218? (TO) 1200 1200.42
LySAT i/2009-03-20 (complete)1738206? (TO) 1200.01 1200.61
glucose 1.0 (complete)1738198? (TO) 1200.03 1200.61
CircUs 2009-03-23 (complete)1738235? (TO) 1200.03 1200.42
ttsth-5-0 2009-03-19 (complete)1738240? (TO) 1200.04 601.715
kw 2009-03-20 (complete)1738196? (TO) 1200.04 1200.73
LySAT c/2009-03-20 (complete)1738207? (TO) 1200.05 1200.61
picosat 913 (complete)1738201? (TO) 1200.05 1200.51
clasp 1.2.0-SAT09-32 (complete)1738203? (TO) 1200.06 1200.41
SAT07 reference solver: minisat SAT 2007 (complete)1738245? (TO) 1200.06 1200.42
HydraSAT-Multi 2009-03-22-Multi (complete)1738213? (TO) 1200.06 1200.61
VARSAT-crafted 2009-03-22 (complete)1738229? (TO) 1200.07 1200.42
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738237? (TO) 1200.07 1200.43
minisat_cumr p-2009-03-18 (complete)1834273? (TO) 1200.07 1200.51
VARSAT-industrial 2009-03-22 (complete)1738230? (TO) 1200.07 1200.52
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738208? (TO) 1200.07 601.519
HydraSAT-Flat 2009-03-22-Flat (complete)1738214? (TO) 1200.07 1200.42
slstc 1.0 (incomplete)1738232? (TO) 1200.08 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1738238? (TO) 1200.08 1200.41
MoRsat 2009-03-03 (complete)1738197? (TO) 1200.09 1200.52
march_nn nn (complete)1738217? (TO) 1200.09 1200.53
VARSAT-random 2009-03-22 (complete)1738231? (TO) 1200.1 1200.53
SApperloT base (complete)1738204? (TO) 1200.1 1200.41
HydraSAT 2009-03-22-Base (complete)1738215? (TO) 1200.1 1200.61
Rsat 2009-03-22 (complete)1738236? (TO) 1200.1 1200.02
precosat 236 (complete)1738202? (TO) 1200.1 1200.41
MXC 2009-03-10 (complete)1738199? (TO) 1200.11 1200.42
march_hi hi (complete)1738216? (TO) 1200.11 1200.52
CSat 2009-03-22 (complete)1738212? (TO) 1200.12 1200.44
SApperloT hrp (complete)1738205? (TO) 1200.15 1200.45
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738209? (TO) 1200.15 601.519
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738242? (TO) 1200.16 601.413
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738210? (TO) 1200.16 601.52
satake 2009-03-22 (complete)1738244? (TO) 1200.2 601.427
SAT4J CORE 2.1 RC1 (complete)1738195? (TO) 1200.24 1200.04
SAT07 reference solver: March KS 2007-02-08 (complete)1738247Signal 432.154 432.278

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 0