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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
MD5SUM2b606655a01fc0a35cd7131dc9f54b92
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.020996
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of clauses2295
Sum of the clauses size6885
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32295
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-H 2009-03-22 (incomplete)1529059SAT 0.016996 0.017735
iPAWS 2009-03-22 (incomplete)1522312SAT 0.020996 0.021623
adaptg2wsat2009++ 2009-03-23 (incomplete)1534668SAT 0.022995 0.0266699
gnovelty+2 2009-03-22 (incomplete)1529060SAT 0.105983 0.105849
Hybrid2 2009-03-22 (incomplete)1523928SAT 0.12298 0.127069
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546099SAT 0.127979 0.129097
gNovelty+-V.2-T 2009-03-22 (incomplete)1543066SAT 0.144977 0.0765
hybridGM7 7 (incomplete)1543063SAT 0.154976 0.165813
MoRsat 2009-03-03 (complete)1521742SAT 0.203968 0.20413
adaptg2wsat2009 2009-03-23 (incomplete)1534667SAT 0.255961 0.256314
gNovelty+-T 2009-03-22 (incomplete)1543064SAT 0.289955 0.219085
gnovelty+ 2009-03-22 (incomplete)1529058SAT 0.289955 0.290542
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546100SAT 0.343947 0.343914
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543065SAT 0.435933 0.222582
NCVWr 2009-03-22 (incomplete)1523929SAT 0.501922 0.505723
TNM 2009-03-22 (incomplete)1523930SAT 0.641902 0.642776
hybridGM3 3 (incomplete)1543062SAT 0.870867 0.878995
hybridGM 1 (incomplete)1543061SAT 1.35479 1.35908
SATzilla2009_R 2009-03-22 (complete)1539782SAT 2.29365 2.2948
SAT07 reference solver: March KS 2007-02-08 (complete)1544960SAT 3.34849 3.34933
SAT07 reference solver: SATzilla RANDOM (complete)1544959SAT 5.2662 5.27096
SATzilla2009_I 2009-03-22 (complete)1539784SAT 35.6796 35.7064
march_nn nn (complete)1518770SAT 53.4849 53.5038
march_hi hi (complete)1518769SAT 57.5253 57.5416
tts tts-5-0 (complete)1531955? 1199.94 1200.26
picosat 913 (complete)1518766? (TO) 1200.02 1200.31
HydraSAT-Flat 2009-03-22-Flat (complete)1530769? (TO) 1200.03 1200.41
precosat 236 (complete)1518767? (TO) 1200.03 1200.41
MiniSAT 09z 2009-03-22 (complete)1833488? (TO) 1200.04 1200.12
HydraSAT-Multi 2009-03-22-Multi (complete)1530768? (TO) 1200.05 1200.71
LySAT i/2009-03-20 (complete)1527254? (TO) 1200.05 1200.71
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527257? (TO) 1200.06 601.725
LySAT c/2009-03-20 (complete)1527255? (TO) 1200.06 1200.41
IUT_BMB_SAT 1.0 (complete)1534666? (TO) 1200.06 1200.71
clasp 1.2.0-SAT09-32 (complete)1518768? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1518771? (TO) 1200.06 1200.51
VARSAT-random 2009-03-22 (complete)1518773? (TO) 1200.06 1199.91
MXC 2009-03-10 (complete)1518765? (TO) 1200.07 1200.51
satake 2009-03-22 (complete)1543866? (TO) 1200.07 644.058
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527258? (TO) 1200.07 601.521
HydraSAT 2009-03-22-Base (complete)1530770? (TO) 1200.07 1200.41
VARSAT-industrial 2009-03-22 (complete)1518772? (TO) 1200.07 1200.41
SApperloT hrp (complete)1534665? (TO) 1200.07 1200.42
SATzilla2009_C 2009-03-22 (complete)1539783? (TO) 1200.08 1195.72
Rsat 2009-03-22 (complete)1538166? (TO) 1200.08 1200.41
glucose 1.0 (complete)1518764? (TO) 1200.08 1200.71
SApperloT base (complete)1534664? (TO) 1200.09 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520556? (TO) 1200.09 1200.51
minisat_cumr p-2009-03-18 (complete)1833487? (TO) 1200.09 1200.61
CircUs 2009-03-23 (complete)1524592? (TO) 1200.1 1206.01
slstc 1.0 (incomplete)1518774? (TO) 1200.11 1200.51
CSat 2009-03-22 (complete)1521172? (TO) 1200.12 1200.42
kw 2009-03-20 (complete)1520555? (TO) 1200.12 1200.62
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527256? (TO) 1200.19 601.725
ttsth-5-0 2009-03-19 (complete)1531956? (TO) 1200.19 601.723
SAT4J CORE 2.1 RC1 (complete)1518763? (TO) 1200.25 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 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 501 502 -503 504 505 506 507 -508 -509 510 -511 512 513 -514 -515 -516 517
-518 519 -520 521 522 523 524 525 526 527 528 -529 530 531 -532 -533 534 -535 536 -537 -538 539 540 0