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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
MD5SUMf29b814bccf91d668c4cad39543bc72b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables621
Number of clauses14927
Sum of the clauses size30429
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214904
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT base (complete)1734550SAT 0.006998 0.00805995
picosat 913 (complete)1734547SAT 0.008997 0.0103069
SApperloT hrp (complete)1734551SAT 0.009997 0.00847107
iPAWS 2009-03-22 (incomplete)1734557SAT 0.023996 0.024539
CircUs 2009-03-23 (complete)1734581SAT 0.023996 0.0249239
SATzilla2009_R 2009-03-22 (complete)1734565SAT 0.024995 0.025351
CSat 2009-03-22 (complete)1734558SAT 0.034993 0.0350299
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734583SAT 0.037993 0.038481
Hybrid2 2009-03-22 (incomplete)1734568SAT 0.039993 0.043161
NCVWr 2009-03-22 (incomplete)1734569SAT 0.039993 0.0406281
TNM 2009-03-22 (incomplete)1734570SAT 0.039993 0.0404181
gnovelty+2 2009-03-22 (incomplete)1734585SAT 0.043992 0.0443861
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734588SAT 0.045992 0.0452029
gNovelty+-V.2-T 2009-03-22 (incomplete)1734589SAT 0.046992 0.0466651
gnovelty+2-H 2009-03-22 (incomplete)1734584SAT 0.047992 0.046724
hybridGM3 3 (incomplete)1734572SAT 0.048992 0.049383
hybridGM 1 (incomplete)1734571SAT 0.051991 0.052838
hybridGM7 7 (incomplete)1734573SAT 0.051991 0.0528811
glucose 1.0 (complete)1734544SAT 0.053991 0.0551971
adaptg2wsat2009 2009-03-23 (incomplete)1734579SAT 0.053991 0.054819
MoRsat 2009-03-03 (complete)1734543SAT 0.054991 0.0544401
Rsat 2009-03-22 (complete)1734582SAT 0.05699 0.0583181
MiniSAT 09z 2009-03-22 (complete)1834080SAT 0.056991 0.057443
adaptg2wsat2009++ 2009-03-23 (incomplete)1734580SAT 0.056991 0.0573269
clasp 1.2.0-SAT09-32 (complete)1734549SAT 0.05799 0.0577581
slstc 1.0 (incomplete)1734578SAT 0.059989 0.0606199
minisat_cumr p-2009-03-18 (complete)1834079SAT 0.05999 0.0617491
LySAT c/2009-03-20 (complete)1734553SAT 0.063989 0.064992
LySAT i/2009-03-20 (complete)1734552SAT 0.065989 0.06623
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734555SAT 0.074988 0.0734561
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734554SAT 0.075988 0.0746779
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734556SAT 0.076987 0.0760281
SATzilla2009_I 2009-03-22 (complete)1734567SAT 0.090985 0.091032
MXC 2009-03-10 (complete)1734545SAT 0.100983 0.101388
VARSAT-crafted 2009-03-22 (complete)1734575SAT 0.101983 0.102905
VARSAT-industrial 2009-03-22 (complete)1734576SAT 0.108982 0.109299
SAT07 reference solver: minisat SAT 2007 (complete)1594902SAT 0.119981 0.120086
gNovelty+-T 2009-03-22 (incomplete)1734587SAT 0.157975 0.155086
gnovelty+ 2009-03-22 (incomplete)1734574SAT 0.172973 0.173737
HydraSAT 2009-03-22-Base (complete)1734561SAT 0.176972 0.177774
tts tts-5-0 (complete)1734546SAT 0.19097 0.191195
HydraSAT-Flat 2009-03-22-Flat (complete)1734560SAT 0.19297 0.193205
ttsth-5-0 2009-03-19 (complete)1734586SAT 0.197969 0.19455
HydraSAT-Multi 2009-03-22-Multi (complete)1734559SAT 0.200968 0.202151
precosat 236 (complete)1734548SAT 0.206968 0.207374
kw 2009-03-20 (complete)1734542SAT 0.298954 0.299656
IUT_BMB_SAT 1.0 (complete)1734564SAT 0.333949 0.332677
march_hi hi (complete)1734562SAT 0.427934 0.427955
march_nn nn (complete)1734563SAT 0.461928 0.462668
SAT4J CORE 2.1 RC1 (complete)1734541SAT 0.612906 0.466756
SAT07 reference solver: March KS 2007-02-08 (complete)1595791SAT 4.5993 4.60104
SAT07 reference solver: SATzilla CRAFTED (complete)1594903SAT 5.02124 5.02393
SATzilla2009_C 2009-03-22 (complete)1734566SAT 5.09722 5.1063
VARSAT-random 2009-03-22 (complete)1734577SAT 6.64099 6.64327
satake 2009-03-22 (complete)1734590? (exit code) 0.035994 0.0216791

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  0