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

Result page for benchmark
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-23-189-21-75.cnf
MD5SUM46a186d5aa9ba41a176adf24fb365342
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.195969
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses25396
Sum of the clauses size51233
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSAT 09z 2009-03-22 (complete)1834278SAT 0.195969 0.195889
gnovelty+ 2009-03-22 (incomplete)1738334SAT 0.296954 0.297721
adaptg2wsat2009 2009-03-23 (incomplete)1738339SAT 1.25881 1.25977
SATzilla2009_R 2009-03-22 (complete)1738325SAT 6.95294 6.95511
hybridGM 1 (incomplete)1738331SAT 10.2154 10.2169
adaptg2wsat2009++ 2009-03-23 (incomplete)1738340SAT 11.5582 11.5611
Hybrid2 2009-03-22 (incomplete)1738328SAT 11.6092 11.613
gnovelty+2-H 2009-03-22 (incomplete)1738344SAT 12.3931 12.3963
CircUs 2009-03-23 (complete)1738341SAT 15.8596 15.8641
gNovelty+-T 2009-03-22 (incomplete)1738347SAT 18.7262 9.46925
TNM 2009-03-22 (incomplete)1738330SAT 23.3714 23.3808
hybridGM3 3 (incomplete)1738332SAT 43.6084 43.6223
slstc 1.0 (incomplete)1738338SAT 46.095 46.1063
iPAWS 2009-03-22 (incomplete)1738317SAT 87.8736 87.9002
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738348SAT 97.1792 48.7296
gnovelty+2 2009-03-22 (incomplete)1738345SAT 214.697 214.773
NCVWr 2009-03-22 (incomplete)1738329SAT 236.18 236.263
gNovelty+-V.2-T 2009-03-22 (incomplete)1738349SAT 530.278 265.748
precosat 236 (complete)1738308SAT 619.468 619.652
SATzilla2009_I 2009-03-22 (complete)1738327SAT 944.859 945.201
ttsth-5-0 2009-03-19 (complete)1738346? 1199.99 601.513
hybridGM7 7 (incomplete)1738333? (exit code) 0.642901 0.643247
SAT07 reference solver: SATzilla CRAFTED (complete)1738352? (exit code) 1199.09 1199.6
SATzilla2009_C 2009-03-22 (complete)1738326? (exit code) 1199.27 1199.8
HydraSAT 2009-03-22-Base (complete)1738321? (TO) 1200.01 1200.31
VARSAT-industrial 2009-03-22 (complete)1738336? (TO) 1200.03 1200.32
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738316? (TO) 1200.04 601.422
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738314? (TO) 1200.04 601.419
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738315? (TO) 1200.05 601.421
picosat 913 (complete)1738307? (TO) 1200.06 1200.51
VARSAT-crafted 2009-03-22 (complete)1738335? (TO) 1200.06 1200.42
Rsat 2009-03-22 (complete)1738342? (TO) 1200.06 1200.61
IUT_BMB_SAT 1.0 (complete)1738324? (TO) 1200.06 1200.42
satake 2009-03-22 (complete)1738350? (TO) 1200.06 601.324
MXC 2009-03-10 (complete)1738305? (TO) 1200.06 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1738320? (TO) 1200.06 1200.41
glucose 1.0 (complete)1738304? (TO) 1200.06 1200.41
kw 2009-03-20 (complete)1738302? (TO) 1200.07 1200.43
LySAT i/2009-03-20 (complete)1738312? (TO) 1200.07 1200.71
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738343? (TO) 1200.07 1200.42
march_nn nn (complete)1738323? (TO) 1200.07 1200.43
minisat_cumr p-2009-03-18 (complete)1834277? (TO) 1200.08 1200.51
LySAT c/2009-03-20 (complete)1738313? (TO) 1200.08 1200.71
tts tts-5-0 (complete)1738306? (TO) 1200.09 1200.36
VARSAT-random 2009-03-22 (complete)1738337? (TO) 1200.09 1200.42
CSat 2009-03-22 (complete)1738318? (TO) 1200.09 1200.53
SApperloT base (complete)1738310? (TO) 1200.09 1200.41
clasp 1.2.0-SAT09-32 (complete)1738309? (TO) 1200.09 1200.41
MoRsat 2009-03-03 (complete)1738303? (TO) 1200.09 1200.42
SAT07 reference solver: minisat SAT 2007 (complete)1738351? (TO) 1200.1 1200.61
HydraSAT-Multi 2009-03-22-Multi (complete)1738319? (TO) 1200.1 1200.61
SApperloT hrp (complete)1738311? (TO) 1200.11 1200.42
SAT07 reference solver: March KS 2007-02-08 (complete)1738353? (TO) 1200.11 1200.66
march_hi hi (complete)1738322? (TO) 1200.12 1200.43
SAT4J CORE 2.1 RC1 (complete)1738301? (TO) 1200.29 1199.95

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 0