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-S1139247531-051.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
MD5SUMa0444a7552e36138b8c3b45356eecf6e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.023995
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
MoRsat 2009-03-03 (complete)1521704SAT 0.023995 0.0238961
adaptg2wsat2009 2009-03-23 (incomplete)1534477SAT 0.023995 0.026231
adaptg2wsat2009++ 2009-03-23 (incomplete)1534478SAT 0.031994 0.0328229
NCVWr 2009-03-22 (incomplete)1523815SAT 0.031994 0.0323761
TNM 2009-03-22 (incomplete)1523816SAT 0.031995 0.0329201
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546023SAT 0.038993 0.0387949
hybridGM3 3 (incomplete)1542834SAT 0.047991 0.048035
hybridGM 1 (incomplete)1542833SAT 0.079987 0.0805359
iPAWS 2009-03-22 (incomplete)1522274SAT 0.083987 0.0848051
SATzilla2009_R 2009-03-22 (complete)1539668SAT 0.138978 0.144467
gnovelty+2 2009-03-22 (incomplete)1528946SAT 0.140978 0.142322
gNovelty+-V.2-T 2009-03-22 (incomplete)1542838SAT 0.152976 0.0798091
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546024SAT 0.161974 0.162405
gNovelty+-T 2009-03-22 (incomplete)1542836SAT 0.169973 0.158489
hybridGM7 7 (incomplete)1542835SAT 0.172973 0.171987
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1542837SAT 0.183971 0.0944871
march_hi hi (complete)1518313SAT 0.270958 0.271421
gnovelty+ 2009-03-22 (incomplete)1528944SAT 0.287955 0.288182
Hybrid2 2009-03-22 (incomplete)1523814SAT 0.301953 0.300617
gnovelty+2-H 2009-03-22 (incomplete)1528945SAT 0.482925 0.482502
march_nn nn (complete)1518314SAT 1.37279 1.37404
SAT07 reference solver: SATzilla RANDOM (complete)1544883SAT 5.01324 5.01445
SATzilla2009_I 2009-03-22 (complete)1539670SAT 61.5336 61.5848
SAT07 reference solver: March KS 2007-02-08 (complete)1544884SAT 63.8853 63.9038
VARSAT-random 2009-03-22 (complete)1518317SAT 105.946 105.979
slstc 1.0 (incomplete)1518318SAT 491.813 491.932
picosat 913 (complete)1518310SAT 659.468 659.666
clasp 1.2.0-SAT09-32 (complete)1518312SAT 808.855 809.07
SATzilla2009_C 2009-03-22 (complete)1539669? (exit code) 1199.16 1199.75
LySAT i/2009-03-20 (complete)1527064? (TO) 1200.02 1200.61
MXC 2009-03-10 (complete)1518309? (TO) 1200.02 1200.41
minisat_cumr p-2009-03-18 (complete)1833411? (TO) 1200.03 1200.61
precosat 236 (complete)1518311? (TO) 1200.06 1200.41
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527068? (TO) 1200.07 601.419
glucose 1.0 (complete)1518308? (TO) 1200.07 1200.61
SApperloT base (complete)1534474? (TO) 1200.07 1200.51
HydraSAT-Multi 2009-03-22-Multi (complete)1530654? (TO) 1200.07 1200.61
CSat 2009-03-22 (complete)1521134? (TO) 1200.07 1200.51
Rsat 2009-03-22 (complete)1538128? (TO) 1200.08 1200.71
kw 2009-03-20 (complete)1520479? (TO) 1200.08 1200.42
HydraSAT 2009-03-22-Base (complete)1530656? (TO) 1200.08 1200.41
VARSAT-crafted 2009-03-22 (complete)1518315? (TO) 1200.09 1200.41
VARSAT-industrial 2009-03-22 (complete)1518316? (TO) 1200.09 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1530655? (TO) 1200.09 1200.41
MiniSAT 09z 2009-03-22 (complete)1833412? (TO) 1200.09 1200.61
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520480? (TO) 1200.09 1200.51
LySAT c/2009-03-20 (complete)1527065? (TO) 1200.1 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527066? (TO) 1200.1 601.724
SApperloT hrp (complete)1534475? (TO) 1200.11 1200.53
CircUs 2009-03-23 (complete)1524554? (TO) 1200.11 1200.51
IUT_BMB_SAT 1.0 (complete)1534476? (TO) 1200.12 1200.41
satake 2009-03-22 (complete)1543828? (TO) 1200.14 678.876
tts tts-5-0 (complete)1531879? (TO) 1200.15 1200.59
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527067? (TO) 1200.18 601.721
ttsth-5-0 2009-03-19 (complete)1531880? (TO) 1200.2 602
SAT4J CORE 2.1 RC1 (complete)1518307? (TO) 1200.27 1200.32

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