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

Result page for benchmark
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
MD5SUMdbe5f8e172b94635975a076b30fdb515
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables418
Number of clauses8170
Sum of the clauses size16720
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 28151
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734101SAT 0.003999 0.00507406
SApperloT base (complete)1734100SAT 0.004998 0.00511991
picosat 913 (complete)1734097SAT 0.004999 0.006028
CircUs 2009-03-23 (complete)1734131SAT 0.012997 0.0135059
SATzilla2009_R 2009-03-22 (complete)1734115SAT 0.015997 0.0161369
iPAWS 2009-03-22 (incomplete)1734107SAT 0.015997 0.015696
TNM 2009-03-22 (incomplete)1734120SAT 0.018996 0.024351
satake 2009-03-22 (complete)1734140SAT 0.018996 0.0141231
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734133SAT 0.019996 0.020112
Hybrid2 2009-03-22 (incomplete)1734118SAT 0.019996 0.0207689
NCVWr 2009-03-22 (incomplete)1734119SAT 0.020996 0.0210191
gnovelty+2-H 2009-03-22 (incomplete)1734134SAT 0.021995 0.0223649
gNovelty+-V.2-T 2009-03-22 (incomplete)1734139SAT 0.022996 0.023695
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734138SAT 0.023995 0.022962
CSat 2009-03-22 (complete)1734108SAT 0.023995 0.0238341
gnovelty+2 2009-03-22 (incomplete)1734135SAT 0.024995 0.023976
MoRsat 2009-03-03 (complete)1734093SAT 0.026995 0.0277299
adaptg2wsat2009 2009-03-23 (incomplete)1734129SAT 0.026995 0.0278391
adaptg2wsat2009++ 2009-03-23 (incomplete)1734130SAT 0.026995 0.027977
clasp 1.2.0-SAT09-32 (complete)1734099SAT 0.027995 0.028057
slstc 1.0 (incomplete)1734128SAT 0.030994 0.0312209
glucose 1.0 (complete)1734094SAT 0.031994 0.033017
Rsat 2009-03-22 (complete)1734132SAT 0.032994 0.0339309
LySAT i/2009-03-20 (complete)1734102SAT 0.033994 0.0367041
MiniSAT 09z 2009-03-22 (complete)1834062SAT 0.034994 0.0352541
LySAT c/2009-03-20 (complete)1734103SAT 0.035994 0.036011
minisat_cumr p-2009-03-18 (complete)1834061SAT 0.036993 0.037653
SATzilla2009_I 2009-03-22 (complete)1734117SAT 0.037993 0.038788
MXC 2009-03-10 (complete)1734095SAT 0.038993 0.0394421
hybridGM7 7 (incomplete)1734123SAT 0.039993 0.043199
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734106SAT 0.039993 0.0412321
hybridGM 1 (incomplete)1734121SAT 0.040993 0.0412659
hybridGM3 3 (incomplete)1734122SAT 0.042993 0.0434481
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734105SAT 0.042993 0.043247
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734104SAT 0.043993 0.043544
VARSAT-industrial 2009-03-22 (complete)1734126SAT 0.046992 0.047718
SAT07 reference solver: minisat SAT 2007 (complete)1594792SAT 0.046992 0.0465179
VARSAT-crafted 2009-03-22 (complete)1734125SAT 0.048992 0.048739
HydraSAT 2009-03-22-Base (complete)1734111SAT 0.071989 0.072757
HydraSAT-Flat 2009-03-22-Flat (complete)1734110SAT 0.073988 0.074125
HydraSAT-Multi 2009-03-22-Multi (complete)1734109SAT 0.078987 0.078089
precosat 236 (complete)1734098SAT 0.096984 0.097328
kw 2009-03-20 (complete)1734092SAT 0.12798 0.127768
gNovelty+-T 2009-03-22 (incomplete)1734137SAT 0.153976 0.152402
ttsth-5-0 2009-03-19 (complete)1734136SAT 0.166973 0.167183
tts tts-5-0 (complete)1734096SAT 0.166974 0.166545
IUT_BMB_SAT 1.0 (complete)1734114SAT 0.169973 0.170542
gnovelty+ 2009-03-22 (incomplete)1734124SAT 0.175972 0.176493
march_nn nn (complete)1734113SAT 0.25696 0.258056
march_hi hi (complete)1734112SAT 0.25896 0.258406
SAT4J CORE 2.1 RC1 (complete)1734091SAT 0.45193 0.41213
SAT07 reference solver: March KS 2007-02-08 (complete)1595736SAT 1.58776 1.58827
VARSAT-random 2009-03-22 (complete)1734127SAT 1.74973 1.74907
SAT07 reference solver: SATzilla CRAFTED (complete)1594793SAT 5.01324 5.02599
SATzilla2009_C 2009-03-22 (complete)1734116SAT 5.03823 5.07643

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  0