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-S433356712-017.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
MD5SUM4a78ab70ae5c4ba56ac4f88e429d1c79
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.082986
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)1529068SAT 0.075988 0.076521
adaptg2wsat2009 2009-03-23 (incomplete)1534682SAT 0.082986 0.0837661
adaptg2wsat2009++ 2009-03-23 (incomplete)1534683SAT 0.105983 0.106586
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543083SAT 0.118981 0.0631731
gnovelty+2 2009-03-22 (incomplete)1529069SAT 0.12798 0.129488
hybridGM7 7 (incomplete)1543081SAT 0.153975 0.152885
NCVWr 2009-03-22 (incomplete)1523938SAT 0.167974 0.168963
hybridGM3 3 (incomplete)1543080SAT 0.185971 0.186464
gnovelty+ 2009-03-22 (incomplete)1529067SAT 0.214966 0.215612
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546105SAT 0.232964 0.233632
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546106SAT 0.235963 0.236572
gNovelty+-V.2-T 2009-03-22 (incomplete)1543084SAT 0.273958 0.141044
TNM 2009-03-22 (incomplete)1523939SAT 0.567912 0.568412
SATzilla2009_R 2009-03-22 (complete)1539791SAT 0.578911 0.581579
iPAWS 2009-03-22 (incomplete)1522315SAT 0.632903 0.633878
hybridGM 1 (incomplete)1543079SAT 0.733887 0.734756
gNovelty+-T 2009-03-22 (incomplete)1543082SAT 0.856869 0.502755
Hybrid2 2009-03-22 (incomplete)1523937SAT 0.965853 0.966344
MoRsat 2009-03-03 (complete)1521745SAT 1.14083 1.14239
SAT07 reference solver: SATzilla RANDOM (complete)1544965SAT 5.9381 5.94807
SAT07 reference solver: March KS 2007-02-08 (complete)1544966SAT 511.959 512.198
SATzilla2009_I 2009-03-22 (complete)1539793SAT 891.55 892.055
SATzilla2009_C 2009-03-22 (complete)1539792? (exit code) 1199.21 1199.72
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527273? (TO) 1200.01 601.421
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527271? (TO) 1200.02 601.624
march_nn nn (complete)1518806? (TO) 1200.03 1200.42
glucose 1.0 (complete)1518800? (TO) 1200.03 1200.61
CircUs 2009-03-23 (complete)1524595? (TO) 1200.03 1200.41
SApperloT hrp (complete)1534680? (TO) 1200.05 1200.42
SApperloT base (complete)1534679? (TO) 1200.05 1200.51
CSat 2009-03-22 (complete)1521175? (TO) 1200.05 1206.02
Rsat 2009-03-22 (complete)1538169? (TO) 1200.05 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530777? (TO) 1200.05 1200.41
clasp 1.2.0-SAT09-32 (complete)1518804? (TO) 1200.06 1200.41
MiniSAT 09z 2009-03-22 (complete)1833494? (TO) 1200.06 1200.41
minisat_cumr p-2009-03-18 (complete)1833493? (TO) 1200.06 1200.81
VARSAT-industrial 2009-03-22 (complete)1518808? (TO) 1200.07 1200.51
precosat 236 (complete)1518803? (TO) 1200.07 1207.01
HydraSAT 2009-03-22-Base (complete)1530779? (TO) 1200.07 1200.42
march_hi hi (complete)1518805? (TO) 1200.07 1200.52
LySAT i/2009-03-20 (complete)1527269? (TO) 1200.07 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1530778? (TO) 1200.07 1200.52
VARSAT-crafted 2009-03-22 (complete)1518807? (TO) 1200.08 1200.41
VARSAT-random 2009-03-22 (complete)1518809? (TO) 1200.08 1200.41
kw 2009-03-20 (complete)1520561? (TO) 1200.08 1200.52
IUT_BMB_SAT 1.0 (complete)1534681? (TO) 1200.09 1200.51
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520562? (TO) 1200.09 1200.41
slstc 1.0 (incomplete)1518810? (TO) 1200.09 1200.51
picosat 913 (complete)1518802? (TO) 1200.1 1200.41
MXC 2009-03-10 (complete)1518801? (TO) 1200.1 1200.41
ttsth-5-0 2009-03-19 (complete)1531962? (TO) 1200.13 601.713
LySAT c/2009-03-20 (complete)1527270? (TO) 1200.13 1200.71
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527272? (TO) 1200.14 601.72
tts tts-5-0 (complete)1531961? (TO) 1200.14 1200.49
satake 2009-03-22 (complete)1543869? (TO) 1200.17 649.461
SAT4J CORE 2.1 RC1 (complete)1518799? (TO) 1200.28 1200.17

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