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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
MD5SUMb892d03833c64865c28a6c109f19fcb2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of clauses1785
Sum of the clauses size5355
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31785
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 2009-03-22 (incomplete)1528943SAT 0.012997 0.0127909
TNM 2009-03-22 (incomplete)1523813SAT 0.012997 0.01188
gNovelty+-V.2-T 2009-03-22 (incomplete)1542832SAT 0.013997 0.011267
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546022SAT 0.015996 0.0163411
adaptg2wsat2009++ 2009-03-23 (incomplete)1534473SAT 0.020995 0.0206091
SATzilla2009_R 2009-03-22 (complete)1539665SAT 0.021996 0.021882
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1542831SAT 0.022995 0.015796
gnovelty+2-H 2009-03-22 (incomplete)1528942SAT 0.024995 0.023733
iPAWS 2009-03-22 (incomplete)1522273SAT 0.026995 0.0272569
NCVWr 2009-03-22 (incomplete)1523812SAT 0.030995 0.0328049
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546021SAT 0.032994 0.0326249
MoRsat 2009-03-03 (complete)1521703SAT 0.037994 0.039162
hybridGM 1 (incomplete)1542827SAT 0.039993 0.040632
hybridGM3 3 (incomplete)1542828SAT 0.040993 0.041863
hybridGM7 7 (incomplete)1542829SAT 0.041992 0.042046
adaptg2wsat2009 2009-03-23 (incomplete)1534472SAT 0.043992 0.0446491
Hybrid2 2009-03-22 (incomplete)1523811SAT 0.068989 0.0694791
SAT07 reference solver: March KS 2007-02-08 (complete)1544882SAT 0.078987 0.0798219
gnovelty+ 2009-03-22 (incomplete)1528941SAT 0.167973 0.167478
gNovelty+-T 2009-03-22 (incomplete)1542830SAT 0.19197 0.167388
SAT07 reference solver: SATzilla RANDOM (complete)1544881SAT 3.08653 3.08837
SATzilla2009_C 2009-03-22 (complete)1539666SAT 3.23351 3.24638
march_hi hi (complete)1518301SAT 6.94294 6.94584
VARSAT-industrial 2009-03-22 (complete)1518304SAT 7.17491 7.17655
march_nn nn (complete)1518302SAT 7.41887 7.42088
slstc 1.0 (incomplete)1518306SAT 12.979 12.9851
SATzilla2009_I 2009-03-22 (complete)1539667SAT 22.3976 22.4178
MXC 2009-03-10 (complete)1518297SAT 58.4671 58.4832
LySAT c/2009-03-20 (complete)1527060SAT 76.7343 76.773
VARSAT-random 2009-03-22 (complete)1518305SAT 91.912 91.9362
VARSAT-crafted 2009-03-22 (complete)1518303SAT 117.59 117.632
picosat 913 (complete)1518298SAT 172.984 173.035
minisat_cumr p-2009-03-18 (complete)1833409SAT 233.931 234.145
SApperloT base (complete)1534469SAT 275.413 275.488
clasp 1.2.0-SAT09-32 (complete)1518300SAT 306.426 306.506
glucose 1.0 (complete)1518296SAT 466.063 466.286
satake 2009-03-22 (complete)1543827SAT 965.147 550.958
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527063? (TO) 1200 601.519
CSat 2009-03-22 (complete)1521133? (TO) 1200.02 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520478? (TO) 1200.03 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527062? (TO) 1200.04 601.419
SApperloT hrp (complete)1534470? (TO) 1200.04 1200.33
kw 2009-03-20 (complete)1520477? (TO) 1200.04 1200.32
LySAT i/2009-03-20 (complete)1527059? (TO) 1200.05 1200.61
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527061? (TO) 1200.07 601.719
precosat 236 (complete)1518299? (TO) 1200.07 1200.51
HydraSAT-Multi 2009-03-22-Multi (complete)1530651? (TO) 1200.07 1200.61
CircUs 2009-03-23 (complete)1524553? (TO) 1200.08 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1530652? (TO) 1200.09 1200.52
Rsat 2009-03-22 (complete)1538127? (TO) 1200.09 1200.41
IUT_BMB_SAT 1.0 (complete)1534471? (TO) 1200.09 1200.61
HydraSAT 2009-03-22-Base (complete)1530653? (TO) 1200.1 1200.52
MiniSAT 09z 2009-03-22 (complete)1833410? (TO) 1200.11 1200.71
tts tts-5-0 (complete)1531877? (TO) 1200.14 1200.59
ttsth-5-0 2009-03-19 (complete)1531878? (TO) 1200.15 601.617
SAT4J CORE 2.1 RC1 (complete)1518295? (TO) 1200.31 1200.27

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 0