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

Result page for benchmark
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-22-173-20-80.cnf
MD5SUMfcc3fcd52c921ace90c257c57bbc4b6d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.064989
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses22276
Sum of the clauses size44952
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 222256
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+2 2009-03-22 (incomplete)1738292SAT 0.064989 0.065748
adaptg2wsat2009 2009-03-23 (incomplete)1738286SAT 0.244962 0.24368
hybridGM7 7 (incomplete)1738280SAT 0.476927 0.477489
gNovelty+-T 2009-03-22 (incomplete)1738294SAT 0.52292 0.346684
TNM 2009-03-22 (incomplete)1738277SAT 0.618905 0.619795
Hybrid2 2009-03-22 (incomplete)1738275SAT 2.6436 2.6445
MiniSAT 09z 2009-03-22 (complete)1834276SAT 2.77258 2.77251
gnovelty+ 2009-03-22 (incomplete)1738281SAT 2.84957 2.85064
adaptg2wsat2009++ 2009-03-23 (incomplete)1738287SAT 3.03754 3.04091
iPAWS 2009-03-22 (incomplete)1738264SAT 3.62845 3.6303
SATzilla2009_R 2009-03-22 (complete)1738272SAT 5.11222 5.12326
hybridGM3 3 (incomplete)1738279SAT 5.68413 5.68631
SAT07 reference solver: SATzilla CRAFTED (complete)1738299SAT 7.11992 7.13136
hybridGM 1 (incomplete)1738278SAT 9.00663 9.01042
gNovelty+-V.2-T 2009-03-22 (incomplete)1738296SAT 15.3337 7.71456
kw 2009-03-20 (complete)1738249SAT 16.6395 16.6442
SApperloT base (complete)1738257SAT 22.8615 22.8693
HydraSAT-Multi 2009-03-22-Multi (complete)1738266SAT 31.9981 32.0095
NCVWr 2009-03-22 (incomplete)1738276SAT 43.6864 43.6971
gnovelty+2-H 2009-03-22 (incomplete)1738291SAT 54.4027 54.4157
LySAT i/2009-03-20 (complete)1738259SAT 60.2138 60.2536
picosat 913 (complete)1738254SAT 65.757 65.782
Rsat 2009-03-22 (complete)1738289SAT 90.0343 90.0805
clasp 1.2.0-SAT09-32 (complete)1738256SAT 125.566 125.597
VARSAT-industrial 2009-03-22 (complete)1738283SAT 174.656 174.7
IUT_BMB_SAT 1.0 (complete)1738271SAT 178.027 178.103
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738295SAT 189.359 94.9163
SAT07 reference solver: minisat SAT 2007 (complete)1738298SAT 193.757 193.805
slstc 1.0 (incomplete)1738285SAT 202.071 202.126
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738263SAT 265.83 133.287
MXC 2009-03-10 (complete)1738252SAT 266.615 266.68
VARSAT-crafted 2009-03-22 (complete)1738282SAT 281.645 281.715
HydraSAT-Flat 2009-03-22-Flat (complete)1738267SAT 330.081 330.162
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738290SAT 384.87 384.978
CircUs 2009-03-23 (complete)1738288SAT 411.697 411.801
LySAT c/2009-03-20 (complete)1738260SAT 429.996 430.124
march_nn nn (complete)1738270SAT 515.752 515.937
march_hi hi (complete)1738269SAT 517.294 517.45
glucose 1.0 (complete)1738251SAT 534.81 535.072
SATzilla2009_I 2009-03-22 (complete)1738274SAT 577.475 577.846
tts tts-5-0 (complete)1738253SAT 589.88 590.122
precosat 236 (complete)1738255SAT 603.425 603.603
satake 2009-03-22 (complete)1738297SAT 759.683 380.836
CSat 2009-03-22 (complete)1738265SAT 796.24 796.441
MoRsat 2009-03-03 (complete)1738250SAT 898.995 899.259
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738262SAT 979.883 491.07
HydraSAT 2009-03-22-Base (complete)1738268SAT 1152.88 1153.31
SATzilla2009_C 2009-03-22 (complete)1738273? (exit code) 1199.05 1199.63
ttsth-5-0 2009-03-19 (complete)1738293? (MO) 593.378 297.776
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738261? (TO) 1200.02 601.422
VARSAT-random 2009-03-22 (complete)1738284? (TO) 1200.08 1200.52
minisat_cumr p-2009-03-18 (complete)1834275? (TO) 1200.08 1200.81
SApperloT hrp (complete)1738258? (TO) 1200.1 1200.44
SAT4J CORE 2.1 RC1 (complete)1738248? (TO) 1200.21 1199.93
SAT07 reference solver: March KS 2007-02-08 (complete)1738300Signal 34.1598 34.1757

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 0