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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
MD5SUM04c00558435f25dfb5b6e5262d4684dc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses1870
Sum of the clauses size5610
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31870
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1542999SAT 0.008998 0.00956907
SATzilla2009_R 2009-03-22 (complete)1539749SAT 0.009998 0.010245
adaptg2wsat2009++ 2009-03-23 (incomplete)1534613SAT 0.015997 0.017074
gNovelty+-V.2-T 2009-03-22 (incomplete)1543000SAT 0.015997 0.0112999
gnovelty+2 2009-03-22 (incomplete)1529027SAT 0.017996 0.018483
NCVWr 2009-03-22 (incomplete)1523896SAT 0.017996 0.0165521
TNM 2009-03-22 (incomplete)1523897SAT 0.024995 0.024118
MoRsat 2009-03-03 (complete)1521731SAT 0.032994 0.0327521
iPAWS 2009-03-22 (incomplete)1522301SAT 0.033994 0.0343649
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546078SAT 0.034994 0.035621
hybridGM3 3 (incomplete)1542996SAT 0.037993 0.0388979
gnovelty+2-H 2009-03-22 (incomplete)1529026SAT 0.037993 0.0390259
hybridGM7 7 (incomplete)1542997SAT 0.047991 0.048646
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546077SAT 0.067989 0.0689481
hybridGM 1 (incomplete)1542995SAT 0.070988 0.0717191
adaptg2wsat2009 2009-03-23 (incomplete)1534612SAT 0.081987 0.082769
gnovelty+ 2009-03-22 (incomplete)1529025SAT 0.172973 0.173643
gNovelty+-T 2009-03-22 (incomplete)1542998SAT 0.204967 0.176545
Hybrid2 2009-03-22 (incomplete)1523895SAT 0.263959 0.264601
SAT07 reference solver: SATzilla RANDOM (complete)1544937SAT 5.03423 5.03583
SAT07 reference solver: March KS 2007-02-08 (complete)1544938SAT 8.50334 4.30439
march_hi hi (complete)1518637SAT 20.1689 20.1745
march_nn nn (complete)1518638SAT 56.1335 56.1513
SATzilla2009_I 2009-03-22 (complete)1539751SAT 105.29 105.325
IUT_BMB_SAT 1.0 (complete)1534611SAT 116.738 116.789
SATzilla2009_C 2009-03-22 (complete)1539750SAT 140.661 140.766
HydraSAT-Multi 2009-03-22-Multi (complete)1530735SAT 187.03 187.107
VARSAT-random 2009-03-22 (complete)1518641SAT 219.063 219.321
SApperloT base (complete)1534609SAT 304.31 304.389
satake 2009-03-22 (complete)1543855SAT 352.572 202.908
VARSAT-industrial 2009-03-22 (complete)1518640SAT 384.82 384.913
slstc 1.0 (incomplete)1518642SAT 722.25 722.483
minisat_cumr p-2009-03-18 (complete)1833465SAT 794.326 794.858
LySAT c/2009-03-20 (complete)1527200SAT 864.769 865.241
VARSAT-crafted 2009-03-22 (complete)1518639SAT 981.974 982.395
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520534? (TO) 1200.02 1200.31
Rsat 2009-03-22 (complete)1538155? (TO) 1200.03 1200.61
precosat 236 (complete)1518635? (TO) 1200.03 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1530736? (TO) 1200.03 1200.32
clasp 1.2.0-SAT09-32 (complete)1518636? (TO) 1200.04 1200.41
picosat 913 (complete)1518634? (TO) 1200.04 1200.31
MiniSAT 09z 2009-03-22 (complete)1833466? (TO) 1200.05 1200.41
CSat 2009-03-22 (complete)1521161? (TO) 1200.06 1200.51
LySAT i/2009-03-20 (complete)1527199? (TO) 1200.06 1200.72
MXC 2009-03-10 (complete)1518633? (TO) 1200.07 1200.41
CircUs 2009-03-23 (complete)1524581? (TO) 1200.09 1200.41
kw 2009-03-20 (complete)1520533? (TO) 1200.1 1200.42
HydraSAT 2009-03-22-Base (complete)1530737? (TO) 1200.1 1200.42
glucose 1.0 (complete)1518632? (TO) 1200.11 1200.71
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527202? (TO) 1200.13 601.72
tts tts-5-0 (complete)1531933? (TO) 1200.14 1200.49
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527203? (TO) 1200.17 601.721
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527201? (TO) 1200.17 601.721
SApperloT hrp (complete)1534610? (TO) 1200.18 1200.48
ttsth-5-0 2009-03-19 (complete)1531934? (TO) 1200.19 601.716
SAT4J CORE 2.1 RC1 (complete)1518631? (TO) 1200.25 1200.15

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