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

Result page for benchmark
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-20-152-18-95.cnf
MD5SUMc56a1400f0bd9306a380dfa6653baa1d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.038993
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses15466
Sum of the clauses size31256
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 215448
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
iPAWS 2009-03-22 (incomplete)1738105SAT 0.038993 0.040007
SATzilla2009_R 2009-03-22 (complete)1738113SAT 0.044992 0.0436501
adaptg2wsat2009 2009-03-23 (incomplete)1738127SAT 0.084986 0.085269
MoRsat 2009-03-03 (complete)1738091SAT 0.093985 0.0939121
hybridGM7 7 (incomplete)1738121SAT 0.12398 0.124118
LySAT i/2009-03-20 (complete)1738100SAT 0.158975 0.160378
TNM 2009-03-22 (incomplete)1738118SAT 0.160974 0.161154
gnovelty+ 2009-03-22 (incomplete)1738122SAT 0.204968 0.205484
adaptg2wsat2009++ 2009-03-23 (incomplete)1738128SAT 0.210967 0.211253
gNovelty+-T 2009-03-22 (incomplete)1738135SAT 0.250961 0.204653
hybridGM3 3 (incomplete)1738120SAT 0.269958 0.270114
hybridGM 1 (incomplete)1738119SAT 0.343946 0.344492
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1738136SAT 1.52677 0.783637
Rsat 2009-03-22 (complete)1738130SAT 2.52362 2.53368
gnovelty+2 2009-03-22 (incomplete)1738133SAT 2.77058 2.7703
gNovelty+-V.2-T 2009-03-22 (incomplete)1738137SAT 3.12552 1.58571
Hybrid2 2009-03-22 (incomplete)1738116SAT 4.11837 4.12072
SAT07 reference solver: SATzilla CRAFTED (complete)1738140SAT 5.37218 5.382
minisat_cumr p-2009-03-18 (complete)1834269SAT 5.50716 5.51406
SApperloT hrp (complete)1738099SAT 7.44387 7.44664
HydraSAT 2009-03-22-Base (complete)1738109SAT 8.50571 8.51009
glucose 1.0 (complete)1738092SAT 12.3431 12.352
slstc 1.0 (incomplete)1738126SAT 13.5379 13.542
gnovelty+2-H 2009-03-22 (incomplete)1738132SAT 16.1135 16.1186
NCVWr 2009-03-22 (incomplete)1738117SAT 16.7864 16.7894
MXC 2009-03-10 (complete)1738093SAT 18.6722 18.6792
IUT_BMB_SAT 1.0 (complete)1738112SAT 28.2157 28.2305
SAT07 reference solver: minisat SAT 2007 (complete)1738139SAT 30.1324 30.1404
LySAT c/2009-03-20 (complete)1738101SAT 30.9913 31.009
ManySAT 1.1 aimd 0/2009-03-20 (complete)1738102SAT 32.4601 16.2992
ManySAT 1.1 aimd 1/2009-03-20 (complete)1738103SAT 32.912 16.5385
ManySAT 1.1 aimd 2/2009-03-20 (complete)1738104SAT 34.9317 17.5437
VARSAT-industrial 2009-03-22 (complete)1738124SAT 35.7886 35.8016
CircUs 2009-03-23 (complete)1738129SAT 46.3599 46.3769
SATzilla2009_I 2009-03-22 (complete)1738115SAT 50.2084 50.2512
MiniSat 2.1 (Sat-race'08 Edition) (complete)1738131SAT 51.2542 51.2696
CSat 2009-03-22 (complete)1738106SAT 78.1281 78.155
HydraSAT-Flat 2009-03-22-Flat (complete)1738108SAT 78.5781 78.5999
clasp 1.2.0-SAT09-32 (complete)1738097SAT 83.4583 83.4807
kw 2009-03-20 (complete)1738090SAT 116.304 116.336
HydraSAT-Multi 2009-03-22-Multi (complete)1738107SAT 147.217 147.272
tts tts-5-0 (complete)1738094SAT 170.218 170.261
precosat 236 (complete)1738096SAT 183.303 183.353
picosat 913 (complete)1738095SAT 199.439 199.495
SApperloT base (complete)1738098SAT 208.967 209.023
VARSAT-crafted 2009-03-22 (complete)1738123SAT 350.796 350.911
ttsth-5-0 2009-03-19 (complete)1738134SAT 687.264 344.558
satake 2009-03-22 (complete)1738138SAT 1056.72 529.518
SATzilla2009_C 2009-03-22 (complete)1738114? (exit code) 1199.55 1199.93
MiniSAT 09z 2009-03-22 (complete)1834270? (TO) 1200.06 1200.41
VARSAT-random 2009-03-22 (complete)1738125? (TO) 1200.09 1200.42
march_nn nn (complete)1738111? (TO) 1200.11 1200.44
march_hi hi (complete)1738110? (TO) 1200.13 1200.45
SAT4J CORE 2.1 RC1 (complete)1738089? (TO) 1200.14 1200
SAT07 reference solver: March KS 2007-02-08 (complete)1738141Signal 470.262 470.485

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 0