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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
MD5SUM14b591d0eb90ad9845c9a4137eb8ce97
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.033994
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2125
Sum of the clauses size6375
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32125
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)1542735SAT 0.029995 0.0193429
gnovelty+2 2009-03-22 (incomplete)1528895SAT 0.033994 0.0342409
TNM 2009-03-22 (incomplete)1523765SAT 0.040992 0.0403209
iPAWS 2009-03-22 (incomplete)1522257SAT 0.12298 0.122992
adaptg2wsat2009++ 2009-03-23 (incomplete)1534393SAT 0.19197 0.191808
adaptg2wsat2009 2009-03-23 (incomplete)1534392SAT 0.280957 0.281544
hybridGM3 3 (incomplete)1542732SAT 0.38694 0.386987
gnovelty+2-H 2009-03-22 (incomplete)1528894SAT 0.678896 0.679467
gnovelty+ 2009-03-22 (incomplete)1528893SAT 0.778881 0.77822
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545989SAT 0.84887 0.849466
hybridGM7 7 (incomplete)1542733SAT 0.861868 0.862137
hybridGM 1 (incomplete)1542731SAT 0.893863 0.894348
gNovelty+-V.2-T 2009-03-22 (incomplete)1542736SAT 1.44078 0.726152
gNovelty+-T 2009-03-22 (incomplete)1542734SAT 2.51362 1.33339
MoRsat 2009-03-03 (complete)1521687SAT 2.79357 2.79372
Hybrid2 2009-03-22 (incomplete)1523763SAT 3.17252 3.17339
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545990SAT 3.71643 3.71702
SATzilla2009_R 2009-03-22 (complete)1539617SAT 4.40933 4.41736
SAT07 reference solver: SATzilla RANDOM (complete)1544849SAT 5.49516 5.50289
NCVWr 2009-03-22 (incomplete)1523764SAT 10.8523 10.8561
march_hi hi (complete)1518109SAT 342.047 342.178
march_nn nn (complete)1518110SAT 366.642 366.788
SATzilla2009_I 2009-03-22 (complete)1539619SAT 380.681 380.827
SATzilla2009_C 2009-03-22 (complete)1539618? (exit code) 1199.06 1200.01
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520446? (TO) 1200.02 1206.11
MXC 2009-03-10 (complete)1518105? (TO) 1200.02 1200.41
HydraSAT 2009-03-22-Base (complete)1530605? (TO) 1200.02 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1526981? (TO) 1200.03 601.419
IUT_BMB_SAT 1.0 (complete)1534391? (TO) 1200.05 1200.71
precosat 236 (complete)1518107? (TO) 1200.05 1200.41
glucose 1.0 (complete)1518104? (TO) 1200.05 1200.61
picosat 913 (complete)1518106? (TO) 1200.06 1200.51
CSat 2009-03-22 (complete)1521117? (TO) 1200.06 1200.51
SApperloT hrp (complete)1534390? (TO) 1200.07 1200.42
CircUs 2009-03-23 (complete)1524537? (TO) 1200.07 1200.41
kw 2009-03-20 (complete)1520445? (TO) 1200.07 1200.42
VARSAT-random 2009-03-22 (complete)1518113? (TO) 1200.07 1200.41
LySAT i/2009-03-20 (complete)1526979? (TO) 1200.08 1200.41
LySAT c/2009-03-20 (complete)1526980? (TO) 1200.08 1200.71
MiniSAT 09z 2009-03-22 (complete)1833378? (TO) 1200.09 1200.71
clasp 1.2.0-SAT09-32 (complete)1518108? (TO) 1200.09 1200.51
minisat_cumr p-2009-03-18 (complete)1833377? (TO) 1200.09 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1526983? (TO) 1200.09 601.719
slstc 1.0 (incomplete)1518114? (TO) 1200.1 1200.51
SApperloT base (complete)1534389? (TO) 1200.1 1200.41
VARSAT-crafted 2009-03-22 (complete)1518111? (TO) 1200.1 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530603? (TO) 1200.11 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1530604? (TO) 1200.11 1200.42
Rsat 2009-03-22 (complete)1538111? (TO) 1200.11 1200.72
VARSAT-industrial 2009-03-22 (complete)1518112? (TO) 1200.11 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1526982? (TO) 1200.16 601.724
satake 2009-03-22 (complete)1543811? (TO) 1200.21 654.481
tts tts-5-0 (complete)1531845? (TO) 1200.21 1200.82
SAT4J CORE 2.1 RC1 (complete)1518103? (TO) 1200.23 1200.02
ttsth-5-0 2009-03-19 (complete)1531846? (TO) 1200.31 602.023
SAT07 reference solver: March KS 2007-02-08 (complete)1544850Signal 470.866 471.104

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 -441 442 -443 -444 445 446 -447 448 -449 -450 451 -452 -453 -454 455
-456 -457 458 -459 460 461 -462 -463 -464 465 466 467 468 -469 -470 -471 -472 -473 -474 -475 -476 477 -478 479 -480 481 482 483 484 -485
-486 487 -488 -489 -490 491 492 493 494 -495 -496 -497 498 499 500 0