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

Result page for benchmark
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
MD5SUMa92f5808dbdbecf675a4a3e4cbc41fbd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7359
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 514000
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+2 2009-03-22 (incomplete)1527623SAT 13.7359 13.7407
iPAWS 2009-03-22 (incomplete)1521833SAT 15.2677 15.2739
adaptg2wsat2009 2009-03-23 (incomplete)1532272SAT 16.7465 16.7524
gNovelty+-V.2-T 2009-03-22 (incomplete)1540192SAT 16.8324 8.457
Hybrid2 2009-03-22 (incomplete)1522491SAT 18.1172 18.1244
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540191SAT 20.3619 10.2255
adaptg2wsat2009++ 2009-03-23 (incomplete)1532273SAT 27.1459 27.1527
gnovelty+2-H 2009-03-22 (incomplete)1527622SAT 27.6178 27.6292
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545142SAT 32.901 32.9225
hybridGM 1 (incomplete)1540187SAT 47.8747 47.8885
SATzilla2009_R 2009-03-22 (complete)1538345SAT 69.8404 69.9049
gnovelty+ 2009-03-22 (incomplete)1527621SAT 85.572 85.6075
TNM 2009-03-22 (incomplete)1522493SAT 170.525 170.588
hybridGM7 7 (incomplete)1540189SAT 218.764 218.831
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545141SAT 319.564 319.651
NCVWr 2009-03-22 (incomplete)1522492SAT 377.419 377.545
gNovelty+-T 2009-03-22 (incomplete)1540190SAT 1185.39 594.241
SATzilla2009_C 2009-03-22 (complete)1538346? (exit code) 1199.31 1199.82
SATzilla2009_I 2009-03-22 (complete)1538347? (exit code) 1199.37 1199.97
SAT07 reference solver: SATzilla RANDOM (complete)1544001? (exit code) 1199.52 1199.94
minisat_cumr p-2009-03-18 (complete)1832529? (TO) 1200.01 1200.51
MoRsat 2009-03-03 (complete)1521263? (TO) 1200.02 1200.71
SApperloT base (complete)1532269? (TO) 1200.02 1200.31
ManySAT 1.1 aimd 2/2009-03-20 (complete)1524863? (TO) 1200.03 601.724
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519598? (TO) 1200.03 1200.32
ManySAT 1.1 aimd 0/2009-03-20 (complete)1524861? (TO) 1200.03 601.419
clasp 1.2.0-SAT09-32 (complete)1513020? (TO) 1200.03 1200.61
HydraSAT-Multi 2009-03-22-Multi (complete)1529331? (TO) 1200.04 1200.61
LySAT c/2009-03-20 (complete)1524860? (TO) 1200.05 1200.61
satake 2009-03-22 (complete)1543387? (TO) 1200.05 601.522
Rsat 2009-03-22 (complete)1537687? (TO) 1200.05 1200.41
slstc 1.0 (incomplete)1513026? (TO) 1200.05 1200.41
LySAT i/2009-03-20 (complete)1524859? (TO) 1200.05 1200.71
SAT07 reference solver: March KS 2007-02-08 (complete)1544002? (TO) 1200.06 1200.41
HydraSAT 2009-03-22-Base (complete)1529333? (TO) 1200.06 1199.91
CSat 2009-03-22 (complete)1520693? (TO) 1200.07 1200.33
glucose 1.0 (complete)1513016? (TO) 1200.07 1200.61
VARSAT-industrial 2009-03-22 (complete)1513024? (TO) 1200.07 1200.41
MiniSAT 09z 2009-03-22 (complete)1832530? (TO) 1200.08 1200.41
MXC 2009-03-10 (complete)1513017? (TO) 1200.08 1200.51
VARSAT-crafted 2009-03-22 (complete)1513023? (TO) 1200.08 1200.41
march_nn nn (complete)1513022? (TO) 1200.08 1200.43
precosat 236 (complete)1513019? (TO) 1200.08 1207.02
VARSAT-random 2009-03-22 (complete)1513025? (TO) 1200.09 1200.41
picosat 913 (complete)1513018? (TO) 1200.09 1200.51
march_hi hi (complete)1513021? (TO) 1200.09 1200.43
hybridGM3 3 (incomplete)1540188? (TO) 1200.1 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1529332? (TO) 1200.11 1200.41
CircUs 2009-03-23 (complete)1524113? (TO) 1200.11 1200.42
IUT_BMB_SAT 1.0 (complete)1532271? (TO) 1200.12 1200.71
kw 2009-03-20 (complete)1519597? (TO) 1200.13 1200.45
ManySAT 1.1 aimd 1/2009-03-20 (complete)1524862? (TO) 1200.14 601.519
SApperloT hrp (complete)1532270? (TO) 1200.15 1200.48
tts tts-5-0 (complete)1530997? (TO) 1200.26 1200.68
SAT4J CORE 2.1 RC1 (complete)1513015? (TO) 1200.27 1199.87
ttsth-5-0 2009-03-19 (complete)1530998? (TO) 1200.37 602.004

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 -541 542 543 -544
545 -546 547 -548 -549 -550 551 -552 553 -554 555 -556 557 558 559 560 561 562 -563 -564 -565 566 567 -568 569 -570 -571 572 573 574 575
-576 577 578 579 -580 -581 -582 -583 -584 585 -586 -587 588 -589 590 -591 -592 -593 594 -595 596 -597 598 -599 -600 -601 602 603 604 605 606
607 -608 609 610 611 -612 613 614 615 616 617 -618 -619 620 -621 622 -623 624 625 626 -627 628 629 -630 631 -632 -633 -634 -635 -636 637 638
-639 -640 641 642 -643 -644 645 -646 -647 -648 -649 -650 -651 -652 -653 654 655 656 -657 658 659 660 -661 -662 663 664 665 -666 667 668 -669
-670 671 -672 -673 674 -675 676 677 -678 679 -680 681 682 683 -684 -685 -686 -687 -688 -689 -690 -691 692 693 -694 695 -696 697 698 699 700
0