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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
MD5SUM19cceacad52a786b8f9d29887aa918f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables460
Number of clauses1955
Sum of the clauses size5865
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31955
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
TNM 2009-03-22 (incomplete)1523996SAT 0.014997 0.0153671
adaptg2wsat2009++ 2009-03-23 (incomplete)1534778SAT 0.016996 0.017609
gnovelty+2-H 2009-03-22 (incomplete)1529125SAT 0.018997 0.0198351
adaptg2wsat2009 2009-03-23 (incomplete)1534777SAT 0.023996 0.023986
gnovelty+2 2009-03-22 (incomplete)1529126SAT 0.030994 0.031733
SATzilla2009_R 2009-03-22 (complete)1539848SAT 0.034993 0.035332
MoRsat 2009-03-03 (complete)1521764SAT 0.049991 0.0498651
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546144SAT 0.05899 0.059734
hybridGM3 3 (incomplete)1543194SAT 0.067988 0.0688561
gNovelty+-V.2-T 2009-03-22 (incomplete)1543198SAT 0.076988 0.0411589
iPAWS 2009-03-22 (incomplete)1522334SAT 0.084986 0.0856571
hybridGM 1 (incomplete)1543193SAT 0.093985 0.0944341
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546143SAT 0.143977 0.14346
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543197SAT 0.201968 0.10456
gNovelty+-T 2009-03-22 (incomplete)1543196SAT 0.261959 0.204028
gnovelty+ 2009-03-22 (incomplete)1529124SAT 0.286956 0.28695
hybridGM7 7 (incomplete)1543195SAT 0.349946 0.349984
Hybrid2 2009-03-22 (incomplete)1523994SAT 0.490924 0.491312
NCVWr 2009-03-22 (incomplete)1523995SAT 1.71874 1.72006
SAT07 reference solver: SATzilla RANDOM (complete)1545003SAT 5.04923 5.05185
march_nn nn (complete)1519034SAT 82.0415 82.068
march_hi hi (complete)1519033SAT 88.1076 88.1321
SAT07 reference solver: March KS 2007-02-08 (complete)1545004SAT 352.861 353.018
SATzilla2009_I 2009-03-22 (complete)1539850SAT 950.874 951.342
CircUs 2009-03-23 (complete)1524614? (TO) 1200.03 1200.41
kw 2009-03-20 (complete)1520599? (TO) 1200.03 1200.32
LySAT i/2009-03-20 (complete)1527364? (TO) 1200.04 1200.71
glucose 1.0 (complete)1519028? (TO) 1200.04 1200.41
SATzilla2009_C 2009-03-22 (complete)1539849? (TO) 1200.04 1195.72
picosat 913 (complete)1519030? (TO) 1200.05 1200.41
ttsth-5-0 2009-03-19 (complete)1532000? (TO) 1200.05 601.821
Rsat 2009-03-22 (complete)1538188? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1519035? (TO) 1200.06 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1530835? (TO) 1200.06 1200.51
VARSAT-random 2009-03-22 (complete)1519037? (TO) 1200.06 1200.51
CSat 2009-03-22 (complete)1521194? (TO) 1200.07 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530834? (TO) 1200.07 1200.71
LySAT c/2009-03-20 (complete)1527365? (TO) 1200.07 1200.71
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520600? (TO) 1200.08 1200.41
SApperloT base (complete)1534774? (TO) 1200.08 1200.51
slstc 1.0 (incomplete)1519038? (TO) 1200.08 1200.51
minisat_cumr p-2009-03-18 (complete)1833531? (TO) 1200.09 1200.71
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527368? (TO) 1200.09 601.422
MXC 2009-03-10 (complete)1519029? (TO) 1200.09 1200.51
IUT_BMB_SAT 1.0 (complete)1534776? (TO) 1200.09 1200.51
precosat 236 (complete)1519031? (TO) 1200.1 1200.51
HydraSAT 2009-03-22-Base (complete)1530836? (TO) 1200.11 1200.41
clasp 1.2.0-SAT09-32 (complete)1519032? (TO) 1200.11 1200.41
MiniSAT 09z 2009-03-22 (complete)1833532? (TO) 1200.11 1200.51
VARSAT-industrial 2009-03-22 (complete)1519036? (TO) 1200.11 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527367? (TO) 1200.11 601.421
SApperloT hrp (complete)1534775? (TO) 1200.12 1200.42
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527366? (TO) 1200.14 601.419
satake 2009-03-22 (complete)1543888? (TO) 1200.16 669.468
tts tts-5-0 (complete)1531999? (TO) 1200.16 1200.49
SAT4J CORE 2.1 RC1 (complete)1519027? (TO) 1200.23 1200.04

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 0