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

Result page for benchmark
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
MD5SUM819d325f2cd8bd4828e82817a7e2248d
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 variables528
Number of clauses11638
Sum of the clauses size23760
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 211616
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
picosat 913 (complete)1734147SAT 0.006998 0.00799503
SApperloT hrp (complete)1734151SAT 0.006998 0.00699106
SApperloT base (complete)1734150SAT 0.006998 0.00701606
iPAWS 2009-03-22 (incomplete)1734157SAT 0.020996 0.0212821
CircUs 2009-03-23 (complete)1734181SAT 0.021995 0.020953
SATzilla2009_R 2009-03-22 (complete)1734165SAT 0.021996 0.0211399
satake 2009-03-22 (complete)1734190SAT 0.021996 0.0166041
CSat 2009-03-22 (complete)1734158SAT 0.027994 0.0284601
TNM 2009-03-22 (incomplete)1734170SAT 0.029994 0.030222
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734183SAT 0.030994 0.0314349
Hybrid2 2009-03-22 (incomplete)1734168SAT 0.030995 0.029788
NCVWr 2009-03-22 (incomplete)1734169SAT 0.031994 0.033117
gnovelty+2 2009-03-22 (incomplete)1734185SAT 0.032994 0.0331571
gnovelty+2-H 2009-03-22 (incomplete)1734184SAT 0.032994 0.033472
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734188SAT 0.034993 0.0339451
gNovelty+-V.2-T 2009-03-22 (incomplete)1734189SAT 0.034994 0.0341091
adaptg2wsat2009 2009-03-23 (incomplete)1734179SAT 0.039993 0.0408159
adaptg2wsat2009++ 2009-03-23 (incomplete)1734180SAT 0.039993 0.040585
MoRsat 2009-03-03 (complete)1734143SAT 0.041992 0.042225
clasp 1.2.0-SAT09-32 (complete)1734149SAT 0.041992 0.042379
glucose 1.0 (complete)1734144SAT 0.043992 0.0465679
slstc 1.0 (incomplete)1734178SAT 0.043992 0.0451099
hybridGM7 7 (incomplete)1734173SAT 0.044992 0.0450209
Rsat 2009-03-22 (complete)1734182SAT 0.044992 0.0492739
hybridGM3 3 (incomplete)1734172SAT 0.044992 0.0455739
hybridGM 1 (incomplete)1734171SAT 0.046991 0.0479551
MiniSAT 09z 2009-03-22 (complete)1834064SAT 0.047992 0.0482509
minisat_cumr p-2009-03-18 (complete)1834063SAT 0.048992 0.053665
LySAT c/2009-03-20 (complete)1734153SAT 0.051991 0.0523901
LySAT i/2009-03-20 (complete)1734152SAT 0.052991 0.0525901
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734155SAT 0.05999 0.059438
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734156SAT 0.060989 0.0599311
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734154SAT 0.06099 0.060641
MXC 2009-03-10 (complete)1734145SAT 0.068988 0.0746539
SATzilla2009_I 2009-03-22 (complete)1734167SAT 0.071988 0.0716019
VARSAT-industrial 2009-03-22 (complete)1734176SAT 0.074988 0.0752919
SAT07 reference solver: minisat SAT 2007 (complete)1594794SAT 0.079987 0.080314
VARSAT-crafted 2009-03-22 (complete)1734175SAT 0.086986 0.088
HydraSAT 2009-03-22-Base (complete)1734161SAT 0.12498 0.124861
HydraSAT-Flat 2009-03-22-Flat (complete)1734160SAT 0.133978 0.134734
HydraSAT-Multi 2009-03-22-Multi (complete)1734159SAT 0.138978 0.140808
ttsth-5-0 2009-03-19 (complete)1734186SAT 0.143978 0.14369
tts tts-5-0 (complete)1734146SAT 0.150976 0.151275
gNovelty+-T 2009-03-22 (incomplete)1734187SAT 0.153976 0.150818
precosat 236 (complete)1734148SAT 0.158975 0.159506
gnovelty+ 2009-03-22 (incomplete)1734174SAT 0.167973 0.168877
kw 2009-03-20 (complete)1734142SAT 0.202968 0.203251
IUT_BMB_SAT 1.0 (complete)1734164SAT 0.25596 1.71083
march_hi hi (complete)1734162SAT 0.362944 0.362663
march_nn nn (complete)1734163SAT 0.367943 0.368495
SAT4J CORE 2.1 RC1 (complete)1734141SAT 0.601908 0.708318
SAT07 reference solver: March KS 2007-02-08 (complete)1595737SAT 3.20551 3.20675
VARSAT-random 2009-03-22 (complete)1734177SAT 4.21336 4.21573
SAT07 reference solver: SATzilla CRAFTED (complete)1594795SAT 5.01624 5.01875
SATzilla2009_C 2009-03-22 (complete)1734166SAT 5.07423 5.07563

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 0