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

Result page for benchmark
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
MD5SUM289acac85257a9b2194bbfd3d1b0ff54
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables598
Number of clauses14076
Sum of the clauses size28704
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214053
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 hrp (complete)1734301SAT 0.007998 0.00813907
SApperloT base (complete)1734300SAT 0.007998 0.0076151
picosat 913 (complete)1734297SAT 0.008998 0.00993503
iPAWS 2009-03-22 (incomplete)1734307SAT 0.023995 0.0246149
CircUs 2009-03-23 (complete)1734331SAT 0.024995 0.025424
SATzilla2009_R 2009-03-22 (complete)1734315SAT 0.024995 0.0269099
satake 2009-03-22 (complete)1734340SAT 0.025995 0.018802
CSat 2009-03-22 (complete)1734308SAT 0.033994 0.0340719
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734333SAT 0.033994 0.0344751
TNM 2009-03-22 (incomplete)1734320SAT 0.036993 0.0377899
Hybrid2 2009-03-22 (incomplete)1734318SAT 0.039993 0.0399211
NCVWr 2009-03-22 (incomplete)1734319SAT 0.040993 0.0408579
gNovelty+-V.2-T 2009-03-22 (incomplete)1734339SAT 0.041993 0.041103
gnovelty+2-H 2009-03-22 (incomplete)1734334SAT 0.043992 0.04457
gnovelty+2 2009-03-22 (incomplete)1734335SAT 0.043992 0.0442679
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734338SAT 0.045992 0.0449961
MoRsat 2009-03-03 (complete)1734293SAT 0.047991 0.047689
hybridGM7 7 (incomplete)1734323SAT 0.049991 0.050539
adaptg2wsat2009 2009-03-23 (incomplete)1734329SAT 0.049991 0.0507409
hybridGM3 3 (incomplete)1734322SAT 0.049991 0.0508809
glucose 1.0 (complete)1734294SAT 0.052991 0.0533969
hybridGM 1 (incomplete)1734321SAT 0.052991 0.0518899
adaptg2wsat2009++ 2009-03-23 (incomplete)1734330SAT 0.053991 0.0541109
MiniSAT 09z 2009-03-22 (complete)1834070SAT 0.054991 0.055036
clasp 1.2.0-SAT09-32 (complete)1734299SAT 0.05599 0.0549449
Rsat 2009-03-22 (complete)1734332SAT 0.05599 0.138411
slstc 1.0 (incomplete)1734328SAT 0.05699 0.0573131
minisat_cumr p-2009-03-18 (complete)1834069SAT 0.05799 0.058259
LySAT c/2009-03-20 (complete)1734303SAT 0.062989 0.0621359
LySAT i/2009-03-20 (complete)1734302SAT 0.062989 0.0626439
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734305SAT 0.069989 0.0700211
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734304SAT 0.072988 0.071012
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734306SAT 0.073988 0.0718309
MXC 2009-03-10 (complete)1734295SAT 0.085986 0.086267
SATzilla2009_I 2009-03-22 (complete)1734317SAT 0.087986 0.091561
VARSAT-industrial 2009-03-22 (complete)1734326SAT 0.100984 0.102139
VARSAT-crafted 2009-03-22 (complete)1734325SAT 0.102983 0.102875
SAT07 reference solver: minisat SAT 2007 (complete)1594846SAT 0.107982 0.10825
gNovelty+-T 2009-03-22 (incomplete)1734337SAT 0.163975 0.161625
gnovelty+ 2009-03-22 (incomplete)1734324SAT 0.172972 0.173862
HydraSAT-Flat 2009-03-22-Flat (complete)1734310SAT 0.174972 0.175776
HydraSAT-Multi 2009-03-22-Multi (complete)1734309SAT 0.175973 0.17564
HydraSAT 2009-03-22-Base (complete)1734311SAT 0.179972 0.180433
tts tts-5-0 (complete)1734296SAT 0.18497 0.184694
ttsth-5-0 2009-03-19 (complete)1734336SAT 0.187971 0.185349
precosat 236 (complete)1734298SAT 0.200968 0.202082
kw 2009-03-20 (complete)1734292SAT 0.274957 0.276574
IUT_BMB_SAT 1.0 (complete)1734314SAT 0.305953 0.307575
march_hi hi (complete)1734312SAT 0.428934 0.429164
march_nn nn (complete)1734313SAT 0.431933 0.432389
SAT4J CORE 2.1 RC1 (complete)1734291SAT 0.621904 0.495425
SAT07 reference solver: March KS 2007-02-08 (complete)1595763SAT 4.10737 4.10938
SAT07 reference solver: SATzilla CRAFTED (complete)1594847SAT 5.01824 5.02821
SATzilla2009_C 2009-03-22 (complete)1734316SAT 5.08423 5.09329
VARSAT-random 2009-03-22 (complete)1734327SAT 6.36203 6.36259

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  0