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

Result page for benchmark
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
MD5SUM09e521ede3d398d4595568c082f00e6d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.439932
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2009++ 2009-03-23 (incomplete)1735080SAT 0.439932 0.440831
iPAWS 2009-03-22 (incomplete)1735057SAT 0.889864 0.890895
adaptg2wsat2009 2009-03-23 (incomplete)1735079SAT 1.25581 1.25521
hybridGM3 3 (incomplete)1735072SAT 1.57276 1.57458
SATzilla2009_R 2009-03-22 (complete)1735065SAT 2.52361 2.52672
glucose 1.0 (complete)1735044SAT 4.72828 4.73606
SAT07 reference solver: SATzilla CRAFTED (complete)1595115SAT 5.48517 5.49128
gnovelty+ 2009-03-22 (incomplete)1735074SAT 8.11777 8.11979
hybridGM 1 (incomplete)1735071SAT 8.12177 8.12608
TNM 2009-03-22 (incomplete)1735070SAT 8.5407 8.54454
SApperloT base (complete)1735050SAT 23.0665 23.0738
gNovelty+-T 2009-03-22 (incomplete)1735087SAT 26.093 13.1808
Hybrid2 2009-03-22 (incomplete)1735068SAT 27.8048 27.812
picosat 913 (complete)1735047SAT 57.4073 57.4246
precosat 236 (complete)1735048SAT 77.9022 77.9268
march_nn nn (complete)1735063SAT 88.5035 88.5298
march_hi hi (complete)1735062SAT 88.6875 88.7166
clasp 1.2.0-SAT09-32 (complete)1735049SAT 117.825 117.864
HydraSAT-Multi 2009-03-22-Multi (complete)1735059SAT 125.569 125.632
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735083SAT 136.254 136.295
MiniSAT 09z 2009-03-22 (complete)1834100SAT 218.451 218.564
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735055SAT 243.066 121.965
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735056SAT 257.071 128.99
MXC 2009-03-10 (complete)1735045SAT 258.671 258.748
HydraSAT-Flat 2009-03-22-Flat (complete)1735060SAT 300.555 300.643
LySAT i/2009-03-20 (complete)1735052SAT 336.864 337.012
SApperloT hrp (complete)1735051SAT 363.182 363.317
Rsat 2009-03-22 (complete)1735082SAT 445.876 446.104
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735054SAT 570.839 286.231
SATzilla2009_I 2009-03-22 (complete)1735067SAT 595.087 595.294
kw 2009-03-20 (complete)1735042SAT 673.354 673.602
VARSAT-random 2009-03-22 (complete)1735077SAT 849.441 849.678
SAT07 reference solver: minisat SAT 2007 (complete)1595114SAT 856.235 856.59
IUT_BMB_SAT 1.0 (complete)1735064SAT 861.565 861.932
VARSAT-industrial 2009-03-22 (complete)1735076SAT 862.042 862.277
minisat_cumr p-2009-03-18 (complete)1834099SAT 878 878.316
gnovelty+2 2009-03-22 (incomplete)1735085SAT 898.523 898.721
NCVWr 2009-03-22 (incomplete)1735069SAT 991.342 991.611
CircUs 2009-03-23 (complete)1735081SAT 995.413 995.65
gNovelty+-V.2-T 2009-03-22 (incomplete)1735089SAT 1023.61 512.976
SATzilla2009_C 2009-03-22 (complete)1735066? (exit code) 1199.07 1199.72
satake 2009-03-22 (complete)1735090? (TO) 1200.05 601.427
LySAT c/2009-03-20 (complete)1735053? (TO) 1200.06 1200.61
MoRsat 2009-03-03 (complete)1735043? (TO) 1200.07 1200.42
HydraSAT 2009-03-22-Base (complete)1735061? (TO) 1200.07 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735088? (TO) 1200.09 601.412
slstc 1.0 (incomplete)1735078? (TO) 1200.09 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1735084? (TO) 1200.09 1200.51
VARSAT-crafted 2009-03-22 (complete)1735075? (TO) 1200.1 1200.42
tts tts-5-0 (complete)1735046? (TO) 1200.1 1200.46
CSat 2009-03-22 (complete)1735058? (TO) 1200.12 1200.62
ttsth-5-0 2009-03-19 (complete)1735086? (TO) 1200.15 601.863
SAT4J CORE 2.1 RC1 (complete)1735041? (TO) 1200.52 1200.27
hybridGM7 7 (incomplete)1735073Signal 6.93894 6.9414
SAT07 reference solver: March KS 2007-02-08 (complete)1595897Signal 8.80966 8.81257

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 701 -702 -703 -704 -705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722
-723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
-751 752 -753 -754 -755 -756 -757 -758 -759 -760 0