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

Result page for benchmark
CRAFTED/sgi/
sgi-difficult4.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
sgi-difficult4.cnf
MD5SUM7c37bfaa2d3bc1d2ca8c28e73d9bfb79
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses15156
Sum of the clauses size30753
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 215135
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
SApperloT base (complete)1736150SAT 0.007998 0.008479
SApperloT hrp (complete)1736151SAT 0.008998 0.00837791
picosat 913 (complete)1736147SAT 0.009997 0.0103799
iPAWS 2009-03-22 (incomplete)1736157SAT 0.024995 0.0256291
SATzilla2009_R 2009-03-22 (complete)1736165SAT 0.025995 0.0253239
CircUs 2009-03-23 (complete)1736181SAT 0.031994 0.0311061
gnovelty+2 2009-03-22 (incomplete)1736185SAT 0.041992 0.043229
gnovelty+2-H 2009-03-22 (incomplete)1736184SAT 0.041993 0.043009
MiniSat 2.1 (Sat-race'08 Edition) (complete)1736183SAT 0.042992 0.0437179
gNovelty+-V.2-T 2009-03-22 (incomplete)1736189SAT 0.042993 0.042697
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1736188SAT 0.044992 0.0438149
CSat 2009-03-22 (complete)1736158SAT 0.045992 0.0446371
hybridGM 1 (incomplete)1736171SAT 0.051991 0.0525499
TNM 2009-03-22 (incomplete)1736170SAT 0.051991 0.0521921
hybridGM7 7 (incomplete)1736173SAT 0.051991 0.0524331
hybridGM3 3 (incomplete)1736172SAT 0.052991 0.0519979
Rsat 2009-03-22 (complete)1736182SAT 0.052991 0.0554181
Hybrid2 2009-03-22 (incomplete)1736168SAT 0.052991 0.0534151
NCVWr 2009-03-22 (incomplete)1736169SAT 0.05499 0.0555271
MoRsat 2009-03-03 (complete)1736143SAT 0.05499 0.0558241
clasp 1.2.0-SAT09-32 (complete)1736149SAT 0.05499 0.0544009
MiniSAT 09z 2009-03-22 (complete)1834144SAT 0.05699 0.0601781
glucose 1.0 (complete)1736144SAT 0.05899 0.057554
minisat_cumr p-2009-03-18 (complete)1834143SAT 0.058991 0.058927
LySAT c/2009-03-20 (complete)1736153SAT 0.06099 0.0609391
LySAT i/2009-03-20 (complete)1736152SAT 0.06099 0.060851
slstc 1.0 (incomplete)1736178SAT 0.063989 0.064342
adaptg2wsat2009++ 2009-03-23 (incomplete)1736180SAT 0.067989 0.0686861
adaptg2wsat2009 2009-03-23 (incomplete)1736179SAT 0.067989 0.0685881
ManySAT 1.1 aimd 2/2009-03-20 (complete)1736156SAT 0.070988 0.069998
ManySAT 1.1 aimd 1/2009-03-20 (complete)1736155SAT 0.071989 0.072441
ManySAT 1.1 aimd 0/2009-03-20 (complete)1736154SAT 0.073988 0.0751349
SATzilla2009_I 2009-03-22 (complete)1736167SAT 0.100983 0.100938
MXC 2009-03-10 (complete)1736145SAT 0.107982 0.109653
VARSAT-crafted 2009-03-22 (complete)1736175SAT 0.121981 0.123206
VARSAT-industrial 2009-03-22 (complete)1736176SAT 0.12498 0.124927
SAT07 reference solver: minisat SAT 2007 (complete)1596176SAT 0.12598 0.126108
precosat 236 (complete)1736148SAT 0.156975 0.156051
gNovelty+-T 2009-03-22 (incomplete)1736187SAT 0.160975 0.161788
HydraSAT-Multi 2009-03-22-Multi (complete)1736159SAT 0.164974 0.165685
HydraSAT 2009-03-22-Base (complete)1736161SAT 0.168973 0.168575
HydraSAT-Flat 2009-03-22-Flat (complete)1736160SAT 0.181971 0.181796
gnovelty+ 2009-03-22 (incomplete)1736174SAT 0.182971 0.183434
tts tts-5-0 (complete)1736146SAT 0.19297 0.192977
ttsth-5-0 2009-03-19 (complete)1736186SAT 0.19297 0.193124
IUT_BMB_SAT 1.0 (complete)1736164SAT 0.340948 0.341325
kw 2009-03-20 (complete)1736142SAT 0.529918 0.529496
march_hi hi (complete)1736162SAT 0.546916 0.54807
SAT4J CORE 2.1 RC1 (complete)1736141SAT 0.627903 0.473021
march_nn nn (complete)1736163SAT 0.681896 0.682872
VARSAT-random 2009-03-22 (complete)1736177SAT 4.00539 4.00715
SAT07 reference solver: SATzilla CRAFTED (complete)1596177SAT 5.02024 5.0265
SATzilla2009_C 2009-03-22 (complete)1736166SAT 5.10722 5.10935
SAT07 reference solver: March KS 2007-02-08 (complete)1596178SAT 6.76297 6.76557
satake 2009-03-22 (complete)1736190No Cert. 0.034993 0.0241079

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