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

Result page for benchmark
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
MD5SUM50ecb1d62ff1369a0562e46f14a19031
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 variables575
Number of clauses13248
Sum of the clauses size27025
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 213225
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)1734401SAT 0.006998 0.00759999
SApperloT base (complete)1734400SAT 0.006998 0.0072309
picosat 913 (complete)1734397SAT 0.008998 0.00938605
iPAWS 2009-03-22 (incomplete)1734407SAT 0.021996 0.022713
CircUs 2009-03-23 (complete)1734431SAT 0.022996 0.0236671
SATzilla2009_R 2009-03-22 (complete)1734415SAT 0.024995 0.024784
CSat 2009-03-22 (complete)1734408SAT 0.031994 0.03245
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734433SAT 0.032994 0.033898
Hybrid2 2009-03-22 (incomplete)1734418SAT 0.033994 0.0343041
NCVWr 2009-03-22 (incomplete)1734419SAT 0.035993 0.0371009
TNM 2009-03-22 (incomplete)1734420SAT 0.036993 0.0378441
gnovelty+2 2009-03-22 (incomplete)1734435SAT 0.040993 0.041681
gnovelty+2-H 2009-03-22 (incomplete)1734434SAT 0.041993 0.04149
gNovelty+-V.2-T 2009-03-22 (incomplete)1734439SAT 0.042992 0.0415031
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734438SAT 0.043992 0.0419369
adaptg2wsat2009++ 2009-03-23 (incomplete)1734430SAT 0.046992 0.0474299
hybridGM3 3 (incomplete)1734422SAT 0.046992 0.047328
clasp 1.2.0-SAT09-32 (complete)1734399SAT 0.046992 0.047821
MoRsat 2009-03-03 (complete)1734393SAT 0.047992 0.0481479
hybridGM7 7 (incomplete)1734423SAT 0.049991 0.0500609
adaptg2wsat2009 2009-03-23 (incomplete)1734429SAT 0.049991 0.0504369
hybridGM 1 (incomplete)1734421SAT 0.049992 0.0501741
glucose 1.0 (complete)1734394SAT 0.050991 0.0507391
Rsat 2009-03-22 (complete)1734432SAT 0.050992 0.052316
minisat_cumr p-2009-03-18 (complete)1834073SAT 0.052991 0.056021
MiniSAT 09z 2009-03-22 (complete)1834074SAT 0.05399 0.0541149
slstc 1.0 (incomplete)1734428SAT 0.054991 0.053847
LySAT c/2009-03-20 (complete)1734403SAT 0.05599 0.057836
LySAT i/2009-03-20 (complete)1734402SAT 0.056991 0.0593129
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734405SAT 0.065989 0.0658171
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734406SAT 0.068988 0.0671011
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734404SAT 0.068989 0.0681741
SATzilla2009_I 2009-03-22 (complete)1734417SAT 0.075987 0.076609
MXC 2009-03-10 (complete)1734395SAT 0.078987 0.0789351
SAT07 reference solver: minisat SAT 2007 (complete)1594878SAT 0.090985 0.0915329
VARSAT-crafted 2009-03-22 (complete)1734425SAT 0.092985 0.0934581
VARSAT-industrial 2009-03-22 (complete)1734426SAT 0.098984 0.097748
HydraSAT 2009-03-22-Base (complete)1734411SAT 0.145977 0.146941
HydraSAT-Multi 2009-03-22-Multi (complete)1734409SAT 0.149977 0.15089
HydraSAT-Flat 2009-03-22-Flat (complete)1734410SAT 0.159974 0.160321
gNovelty+-T 2009-03-22 (incomplete)1734437SAT 0.161975 0.16026
ttsth-5-0 2009-03-19 (complete)1734436SAT 0.165974 0.164221
gnovelty+ 2009-03-22 (incomplete)1734424SAT 0.172972 0.173994
precosat 236 (complete)1734398SAT 0.185971 0.18502
tts tts-5-0 (complete)1734396SAT 0.206968 0.207193
kw 2009-03-20 (complete)1734392SAT 0.249961 0.250362
IUT_BMB_SAT 1.0 (complete)1734414SAT 0.295954 0.296177
march_hi hi (complete)1734412SAT 0.408937 0.410039
march_nn nn (complete)1734413SAT 0.410937 0.41163
SAT4J CORE 2.1 RC1 (complete)1734391SAT 0.555915 0.461843
SAT07 reference solver: March KS 2007-02-08 (complete)1595779SAT 3.69744 3.69732
SAT07 reference solver: SATzilla CRAFTED (complete)1594879SAT 5.01924 5.02173
VARSAT-random 2009-03-22 (complete)1734427SAT 5.02623 5.02831
SATzilla2009_C 2009-03-22 (complete)1734416SAT 5.07723 5.07849
satake 2009-03-22 (complete)1734440? (exit code) 0.028995 0.0207911

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  0