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-S725789261-031.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
MD5SUMf67f090e24644066ce5872fbc256498a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
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+2-H 2009-03-22 (incomplete)1529044SAT 0.007998 0.0088559
adaptg2wsat2009 2009-03-23 (incomplete)1534642SAT 0.011997 0.012636
SATzilla2009_R 2009-03-22 (complete)1539767SAT 0.011997 0.012731
gnovelty+2 2009-03-22 (incomplete)1529045SAT 0.012997 0.0137469
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546090SAT 0.013997 0.0137441
adaptg2wsat2009++ 2009-03-23 (incomplete)1534643SAT 0.015996 0.0162829
TNM 2009-03-22 (incomplete)1523915SAT 0.015996 0.0151469
iPAWS 2009-03-22 (incomplete)1522307SAT 0.017996 0.017853
MoRsat 2009-03-03 (complete)1521737SAT 0.018996 0.0195441
gNovelty+-V.2-T 2009-03-22 (incomplete)1543036SAT 0.020996 0.014647
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546089SAT 0.026994 0.027569
NCVWr 2009-03-22 (incomplete)1523914SAT 0.026995 0.0274959
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543035SAT 0.030994 0.019186
Hybrid2 2009-03-22 (incomplete)1523913SAT 0.030994 0.0313731
hybridGM7 7 (incomplete)1543033SAT 0.035993 0.037068
hybridGM3 3 (incomplete)1543032SAT 0.035993 0.0369519
hybridGM 1 (incomplete)1543031SAT 0.05699 0.057425
SAT07 reference solver: March KS 2007-02-08 (complete)1544950SAT 0.129979 0.129531
gnovelty+ 2009-03-22 (incomplete)1529043SAT 0.162975 0.162951
gNovelty+-T 2009-03-22 (incomplete)1543034SAT 0.166973 0.155542
march_nn nn (complete)1518710SAT 0.239962 0.240888
march_hi hi (complete)1518709SAT 0.279956 0.280946
SATzilla2009_C 2009-03-22 (complete)1539768SAT 0.860868 0.861404
SAT07 reference solver: SATzilla RANDOM (complete)1544949SAT 0.91486 0.915983
VARSAT-crafted 2009-03-22 (complete)1518711SAT 18.4352 18.441
slstc 1.0 (incomplete)1518714SAT 43.7194 43.7329
clasp 1.2.0-SAT09-32 (complete)1518708SAT 44.5112 44.5233
HydraSAT-Flat 2009-03-22-Flat (complete)1530754SAT 45.4241 45.4372
VARSAT-random 2009-03-22 (complete)1518713SAT 52.1411 52.1547
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520546SAT 153.404 153.459
Rsat 2009-03-22 (complete)1538161SAT 215.469 215.535
VARSAT-industrial 2009-03-22 (complete)1518712SAT 312.129 312.21
minisat_cumr p-2009-03-18 (complete)1833477SAT 313.916 314.138
IUT_BMB_SAT 1.0 (complete)1534641SAT 388.485 388.66
SATzilla2009_I 2009-03-22 (complete)1539769SAT 429.72 429.919
SApperloT base (complete)1534639SAT 467.432 467.566
precosat 236 (complete)1518707SAT 520.108 520.298
satake 2009-03-22 (complete)1543861SAT 558.41 316.284
picosat 913 (complete)1518706SAT 627.337 627.503
glucose 1.0 (complete)1518704SAT 643.751 644.031
LySAT c/2009-03-20 (complete)1527230SAT 658.712 658.904
HydraSAT-Multi 2009-03-22-Multi (complete)1530753SAT 683.157 683.427
SApperloT hrp (complete)1534640SAT 766.275 766.524
MXC 2009-03-10 (complete)1518705SAT 800.009 800.277
tts tts-5-0 (complete)1531945? 1200.03 1200.33
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527233? (TO) 1200.01 601.42
MiniSAT 09z 2009-03-22 (complete)1833478? (TO) 1200.04 1200.41
HydraSAT 2009-03-22-Base (complete)1530755? (TO) 1200.04 1200.41
LySAT i/2009-03-20 (complete)1527229? (TO) 1200.05 1200.41
CircUs 2009-03-23 (complete)1524587? (TO) 1200.06 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527231? (TO) 1200.06 601.719
CSat 2009-03-22 (complete)1521167? (TO) 1200.08 1200.71
ttsth-5-0 2009-03-19 (complete)1531946? (TO) 1200.12 601.603
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527232? (TO) 1200.12 601.419
kw 2009-03-20 (complete)1520545? (TO) 1200.13 1200.52
SAT4J CORE 2.1 RC1 (complete)1518703? (TO) 1200.29 1200.14

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