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

Result page for benchmark
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
MD5SUM741e1de0c22ee8d0ee067ccd7623ed63
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables675
Number of clauses16900
Sum of the clauses size34425
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216875
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734251SAT 0.008997 0.00938701
SApperloT base (complete)1734250SAT 0.008998 0.00936911
picosat 913 (complete)1734247SAT 0.010997 0.0106161
iPAWS 2009-03-22 (incomplete)1734257SAT 0.026994 0.0277
SATzilla2009_R 2009-03-22 (complete)1734265SAT 0.028995 0.0286851
CircUs 2009-03-23 (complete)1734281SAT 0.029994 0.0303391
satake 2009-03-22 (complete)1734290SAT 0.031994 0.0218919
CSat 2009-03-22 (complete)1734258SAT 0.035994 0.035636
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734283SAT 0.042992 0.0436581
Hybrid2 2009-03-22 (incomplete)1734268SAT 0.048992 0.0475739
TNM 2009-03-22 (incomplete)1734270SAT 0.049992 0.0501429
NCVWr 2009-03-22 (incomplete)1734269SAT 0.050991 0.051188
hybridGM 1 (incomplete)1734271SAT 0.051991 0.052755
hybridGM3 3 (incomplete)1734272SAT 0.052991 0.053073
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734288SAT 0.052991 0.052483
gnovelty+2 2009-03-22 (incomplete)1734285SAT 0.05499 0.055816
gnovelty+2-H 2009-03-22 (incomplete)1734284SAT 0.05499 0.0556639
hybridGM7 7 (incomplete)1734273SAT 0.05499 0.0551921
gNovelty+-V.2-T 2009-03-22 (incomplete)1734289SAT 0.054991 0.0545439
MoRsat 2009-03-03 (complete)1734243SAT 0.056991 0.0572341
slstc 1.0 (incomplete)1734278SAT 0.064989 0.065166
glucose 1.0 (complete)1734244SAT 0.064989 0.065128
MiniSAT 09z 2009-03-22 (complete)1834068SAT 0.065989 0.067965
clasp 1.2.0-SAT09-32 (complete)1734249SAT 0.066989 0.066924
adaptg2wsat2009 2009-03-23 (incomplete)1734279SAT 0.066989 0.0674011
minisat_cumr p-2009-03-18 (complete)1834067SAT 0.068988 0.070933
adaptg2wsat2009++ 2009-03-23 (incomplete)1734280SAT 0.068989 0.068585
Rsat 2009-03-22 (complete)1734282SAT 0.069988 0.070714
LySAT c/2009-03-20 (complete)1734253SAT 0.073988 0.074309
LySAT i/2009-03-20 (complete)1734252SAT 0.073988 0.0761511
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734255SAT 0.084986 0.085183
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734256SAT 0.085986 0.086344
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734254SAT 0.087986 0.0862131
SATzilla2009_I 2009-03-22 (complete)1734267SAT 0.108983 0.113482
MXC 2009-03-10 (complete)1734245SAT 0.111982 0.112105
VARSAT-crafted 2009-03-22 (complete)1734275SAT 0.131979 0.132172
VARSAT-industrial 2009-03-22 (complete)1734276SAT 0.131979 0.13264
SAT07 reference solver: minisat SAT 2007 (complete)1594838SAT 0.133979 0.134125
gNovelty+-T 2009-03-22 (incomplete)1734287SAT 0.170973 0.165869
gnovelty+ 2009-03-22 (incomplete)1734274SAT 0.186971 0.186246
tts tts-5-0 (complete)1734246SAT 0.206967 0.20585
ttsth-5-0 2009-03-19 (complete)1734286SAT 0.221965 0.222174
HydraSAT 2009-03-22-Base (complete)1734261SAT 0.226965 0.227735
HydraSAT-Multi 2009-03-22-Multi (complete)1734259SAT 0.232964 0.235007
HydraSAT-Flat 2009-03-22-Flat (complete)1734260SAT 0.234964 0.23578
precosat 236 (complete)1734248SAT 0.238963 0.239291
kw 2009-03-20 (complete)1734242SAT 0.369943 0.369909
IUT_BMB_SAT 1.0 (complete)1734264SAT 0.375942 0.376201
march_nn nn (complete)1734263SAT 0.497923 0.4979
march_hi hi (complete)1734262SAT 0.499923 0.500481
SAT4J CORE 2.1 RC1 (complete)1734241SAT 0.58791 0.469495
SAT07 reference solver: SATzilla CRAFTED (complete)1594839SAT 5.02124 5.0239
SATzilla2009_C 2009-03-22 (complete)1734266SAT 5.11522 5.12648
SAT07 reference solver: March KS 2007-02-08 (complete)1595759SAT 5.69513 5.70027
VARSAT-random 2009-03-22 (complete)1734277SAT 8.89665 8.90263

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  0