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-S1045096471-025.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
MD5SUM855b59e9a0f8a08a40646aec3f122ba2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.047992
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
adaptg2wsat2009 2009-03-23 (incomplete)1534382SAT 0.047992 0.0484861
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545986SAT 0.089985 0.0906009
hybridGM7 7 (incomplete)1542721SAT 0.090985 0.0910891
gnovelty+2 2009-03-22 (incomplete)1528889SAT 0.090985 0.0907909
gnovelty+2-H 2009-03-22 (incomplete)1528888SAT 0.103984 0.104899
MoRsat 2009-03-03 (complete)1521685SAT 0.143977 0.143395
TNM 2009-03-22 (incomplete)1523759SAT 0.145976 0.146761
gNovelty+-T 2009-03-22 (incomplete)1542722SAT 0.172973 0.156289
gnovelty+ 2009-03-22 (incomplete)1528887SAT 0.184971 0.18621
hybridGM 1 (incomplete)1542719SAT 0.18697 0.185733
adaptg2wsat2009++ 2009-03-23 (incomplete)1534383SAT 0.250961 0.251512
iPAWS 2009-03-22 (incomplete)1522255SAT 0.25896 0.259752
SATzilla2009_R 2009-03-22 (complete)1539611SAT 0.31995 0.320765
hybridGM3 3 (incomplete)1542720SAT 0.474927 0.47486
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545985SAT 0.532918 0.532837
NCVWr 2009-03-22 (incomplete)1523758SAT 0.639902 0.639915
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1542723SAT 0.643901 0.326097
gNovelty+-V.2-T 2009-03-22 (incomplete)1542724SAT 0.78088 0.393713
Hybrid2 2009-03-22 (incomplete)1523757SAT 3.44648 3.44699
SAT07 reference solver: SATzilla RANDOM (complete)1544845SAT 5.01524 5.0177
SAT07 reference solver: March KS 2007-02-08 (complete)1544846SAT 192.166 192.269
march_hi hi (complete)1518085SAT 225.106 225.163
march_nn nn (complete)1518086SAT 241.216 241.29
SATzilla2009_I 2009-03-22 (complete)1539613? (exit code) 1199.14 1199.65
SATzilla2009_C 2009-03-22 (complete)1539612? (exit code) 1199.2 1199.62
picosat 913 (complete)1518082? (TO) 1200.01 1200.41
VARSAT-crafted 2009-03-22 (complete)1518087? (TO) 1200.02 1200.41
LySAT c/2009-03-20 (complete)1526970? (TO) 1200.03 1200.51
slstc 1.0 (incomplete)1518090? (TO) 1200.03 1200.41
clasp 1.2.0-SAT09-32 (complete)1518084? (TO) 1200.03 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530597? (TO) 1200.05 1200.81
minisat_cumr p-2009-03-18 (complete)1833373? (TO) 1200.05 1200.71
Rsat 2009-03-22 (complete)1538109? (TO) 1200.06 1200.41
glucose 1.0 (complete)1518080? (TO) 1200.06 1199.91
MXC 2009-03-10 (complete)1518081? (TO) 1200.06 1200.41
LySAT i/2009-03-20 (complete)1526969? (TO) 1200.07 1200.71
ManySAT 1.1 aimd 1/2009-03-20 (complete)1526972? (TO) 1200.07 601.422
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520442? (TO) 1200.08 1200.51
precosat 236 (complete)1518083? (TO) 1200.08 1200.51
VARSAT-industrial 2009-03-22 (complete)1518088? (TO) 1200.08 1200.51
ManySAT 1.1 aimd 2/2009-03-20 (complete)1526973? (TO) 1200.09 601.418
SApperloT hrp (complete)1534380? (TO) 1200.09 1200.72
HydraSAT 2009-03-22-Base (complete)1530599? (TO) 1200.1 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1530598? (TO) 1200.1 1200.41
VARSAT-random 2009-03-22 (complete)1518089? (TO) 1200.1 1200.51
CircUs 2009-03-23 (complete)1524535? (TO) 1200.11 1200.51
kw 2009-03-20 (complete)1520441? (TO) 1200.11 1200.52
satake 2009-03-22 (complete)1543809? (TO) 1200.11 652.264
MiniSAT 09z 2009-03-22 (complete)1833374? (TO) 1200.11 1200.41
SApperloT base (complete)1534379? (TO) 1200.12 1200.51
CSat 2009-03-22 (complete)1521115? (TO) 1200.12 1200.51
IUT_BMB_SAT 1.0 (complete)1534381? (TO) 1200.13 1200.71
ManySAT 1.1 aimd 0/2009-03-20 (complete)1526971? (TO) 1200.15 601.42
tts tts-5-0 (complete)1531841? (TO) 1200.16 1200.61
SAT4J CORE 2.1 RC1 (complete)1518079? (TO) 1200.3 1200.05
ttsth-5-0 2009-03-19 (complete)1531842? (TO) 1200.31 601.825

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