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

Result page for benchmark
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
MD5SUMbb26f94676d52c6c304fdd966a5030f6
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 variables550
Number of clauses12397
Sum of the clauses size25300
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 212375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 522

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734451SAT 0.006998 0.00696204
SApperloT base (complete)1734450SAT 0.006998 0.00744092
picosat 913 (complete)1734447SAT 0.009997 0.00896507
iPAWS 2009-03-22 (incomplete)1734457SAT 0.020996 0.0218279
CircUs 2009-03-23 (complete)1734481SAT 0.020996 0.021108
SATzilla2009_R 2009-03-22 (complete)1734465SAT 0.021996 0.0224781
satake 2009-03-22 (complete)1734490SAT 0.022995 0.0171311
CSat 2009-03-22 (complete)1734458SAT 0.030994 0.0318071
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734483SAT 0.031994 0.0320049
TNM 2009-03-22 (incomplete)1734470SAT 0.033994 0.034757
Hybrid2 2009-03-22 (incomplete)1734468SAT 0.034993 0.0349809
NCVWr 2009-03-22 (incomplete)1734469SAT 0.034993 0.0351669
gnovelty+2-H 2009-03-22 (incomplete)1734484SAT 0.036993 0.0355791
gnovelty+2 2009-03-22 (incomplete)1734485SAT 0.037993 0.038109
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734488SAT 0.038993 0.038977
gNovelty+-V.2-T 2009-03-22 (incomplete)1734489SAT 0.038993 0.0385941
MoRsat 2009-03-03 (complete)1734443SAT 0.044992 0.044974
glucose 1.0 (complete)1734444SAT 0.046992 0.0475429
hybridGM 1 (incomplete)1734471SAT 0.046992 0.046689
adaptg2wsat2009++ 2009-03-23 (incomplete)1734480SAT 0.046992 0.0466061
hybridGM7 7 (incomplete)1734473SAT 0.047991 0.0486991
clasp 1.2.0-SAT09-32 (complete)1734449SAT 0.047992 0.047355
adaptg2wsat2009 2009-03-23 (incomplete)1734479SAT 0.047992 0.0471221
hybridGM3 3 (incomplete)1734472SAT 0.048992 0.0491411
Rsat 2009-03-22 (complete)1734482SAT 0.048992 0.0491011
MiniSAT 09z 2009-03-22 (complete)1834076SAT 0.049991 0.051962
slstc 1.0 (incomplete)1734478SAT 0.050991 0.0508621
minisat_cumr p-2009-03-18 (complete)1834075SAT 0.051991 0.052273
LySAT i/2009-03-20 (complete)1734452SAT 0.052991 0.0551381
LySAT c/2009-03-20 (complete)1734453SAT 0.05499 0.0545179
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734456SAT 0.063989 0.0626081
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734454SAT 0.064989 0.0649589
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734455SAT 0.065989 0.064459
SATzilla2009_I 2009-03-22 (complete)1734467SAT 0.066989 0.0674329
MXC 2009-03-10 (complete)1734445SAT 0.073987 0.0749001
VARSAT-industrial 2009-03-22 (complete)1734476SAT 0.080986 0.080682
SAT07 reference solver: minisat SAT 2007 (complete)1594888SAT 0.085986 0.0894149
VARSAT-crafted 2009-03-22 (complete)1734475SAT 0.085986 0.0868971
HydraSAT 2009-03-22-Base (complete)1734461SAT 0.144977 0.144947
HydraSAT-Multi 2009-03-22-Multi (complete)1734459SAT 0.145977 0.145776
HydraSAT-Flat 2009-03-22-Flat (complete)1734460SAT 0.148976 0.149081
ttsth-5-0 2009-03-19 (complete)1734486SAT 0.155976 0.155445
tts tts-5-0 (complete)1734446SAT 0.158975 0.162523
gNovelty+-T 2009-03-22 (incomplete)1734487SAT 0.163975 0.160392
precosat 236 (complete)1734448SAT 0.174973 0.175813
gnovelty+ 2009-03-22 (incomplete)1734474SAT 0.179971 0.179212
kw 2009-03-20 (complete)1734442SAT 0.236963 0.235886
IUT_BMB_SAT 1.0 (complete)1734464SAT 0.290955 0.288652
march_nn nn (complete)1734463SAT 0.365943 0.365891
march_hi hi (complete)1734462SAT 0.39094 0.39206
SAT4J CORE 2.1 RC1 (complete)1734441SAT 0.545916 0.411263
SAT07 reference solver: March KS 2007-02-08 (complete)1595784SAT 3.3175 3.31928
VARSAT-random 2009-03-22 (complete)1734477SAT 4.82327 4.82484
SAT07 reference solver: SATzilla CRAFTED (complete)1594889SAT 5.01624 5.0189
SATzilla2009_C 2009-03-22 (complete)1734466SAT 5.07323 5.07614

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  0