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

Result page for benchmark
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-24-193-22-70.cnf
MD5SUM0a7df8011edd7a5f3da371261f9b3f8b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.2858
Satisfiable
(Un)Satisfiability was proved
Number of variables528
Number of clauses30728
Sum of the clauses size61940
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230706
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
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738083SAT 0.098984 0.096569
hybridGM3 3 (incomplete)1738067SAT 1.2858 1.28636
MiniSAT 09z 2009-03-22 (complete)1834268SAT 1.61175 1.61437
adaptg2wsat2009++ 2009-03-23 (incomplete)1738075SAT 11.7942 11.7986
SATzilla2009_R 2009-03-22 (complete)1738060SAT 12.6771 12.7068
adaptg2wsat2009 2009-03-23 (incomplete)1738074SAT 15.2577 15.2625
clasp 1.2.0-SAT09-32 (complete)1738044SAT 22.4556 22.4578
hybridGM 1 (incomplete)1738066SAT 23.4034 23.41
TNM 2009-03-22 (incomplete)1738065SAT 40.1399 40.1543
tts tts-5-0 (complete)1738041SAT 64.3712 64.3908
iPAWS 2009-03-22 (incomplete)1738052SAT 66.6909 66.7073
SATzilla2009_I 2009-03-22 (complete)1738062SAT 90.4442 90.5
Hybrid2 2009-03-22 (incomplete)1738063SAT 106.675 106.717
gNovelty+-T 2009-03-22 (incomplete)1738082SAT 119.602 60.0456
HydraSAT 2009-03-22-Base (complete)1738056SAT 137.568 137.603
gnovelty+2 2009-03-22 (incomplete)1738080SAT 152.597 152.636
ttsth-5-0 2009-03-19 (complete)1738081SAT 181.192 91.0257
slstc 1.0 (incomplete)1738073SAT 181.354 181.403
gnovelty+ 2009-03-22 (incomplete)1738069SAT 223.472 223.526
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738049SAT 305.723 153.299
gNovelty+-V.2-T 2009-03-22 (incomplete)1738084SAT 336.062 168.433
picosat 913 (complete)1738042SAT 357.621 357.724
glucose 1.0 (complete)1738039SAT 361.157 361.367
HydraSAT-Flat 2009-03-22-Flat (complete)1738055SAT 412.576 412.677
gnovelty+2-H 2009-03-22 (incomplete)1738079SAT 492.215 492.36
SApperloT base (complete)1738045SAT 495.041 495.209
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738051SAT 550.031 275.726
MXC 2009-03-10 (complete)1738040SAT 622.147 622.348
MoRsat 2009-03-03 (complete)1738038SAT 640.777 640.946
VARSAT-industrial 2009-03-22 (complete)1738071SAT 651.629 651.792
HydraSAT-Multi 2009-03-22-Multi (complete)1738054SAT 757.391 757.578
minisat_cumr p-2009-03-18 (complete)1834267SAT 986.874 987.385
precosat 236 (complete)1738043SAT 1007.09 1007.36
NCVWr 2009-03-22 (incomplete)1738064SAT 1039.65 1039.91
hybridGM7 7 (incomplete)1738068? (exit code) 2.87556 2.87698
SATzilla2009_C 2009-03-22 (complete)1738061? (exit code) 1198.96 1199.47
SAT07 reference solver: SATzilla CRAFTED (complete)1738087? (exit code) 1199.42 1199.92
Rsat 2009-03-22 (complete)1738077? (TO) 1200.01 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738050? (TO) 1200.04 601.419
CircUs 2009-03-23 (complete)1738076? (TO) 1200.04 1200.52
LySAT c/2009-03-20 (complete)1738048? (TO) 1200.05 1200.71
IUT_BMB_SAT 1.0 (complete)1738059? (TO) 1200.06 1200.62
SApperloT hrp (complete)1738046? (TO) 1200.07 1199.94
CSat 2009-03-22 (complete)1738053? (TO) 1200.07 1200.43
VARSAT-crafted 2009-03-22 (complete)1738070? (TO) 1200.07 1200.42
SAT07 reference solver: minisat SAT 2007 (complete)1738086? (TO) 1200.09 1200.52
LySAT i/2009-03-20 (complete)1738047? (TO) 1200.09 1200.61
VARSAT-random 2009-03-22 (complete)1738072? (TO) 1200.1 1200.42
SAT07 reference solver: March KS 2007-02-08 (complete)1738088? (TO) 1200.1 1200.66
march_hi hi (complete)1738057? (TO) 1200.1 1200.43
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738078? (TO) 1200.12 1200.42
kw 2009-03-20 (complete)1738037? (TO) 1200.12 1200.64
march_nn nn (complete)1738058? (TO) 1200.13 1200.43
satake 2009-03-22 (complete)1738085? (TO) 1200.21 601.426
SAT4J CORE 2.1 RC1 (complete)1738036? (TO) 1200.25 1200.01

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