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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
MD5SUMef10306f3342b2993f40a14989476298
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.42987
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
march_nn nn (complete)1734963SAT 7.42987 7.43105
march_hi hi (complete)1734962SAT 7.58585 7.58703
Rsat 2009-03-22 (complete)1734982SAT 20.9608 20.9671
iPAWS 2009-03-22 (incomplete)1734957SAT 21.1588 21.1621
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734956SAT 22.9555 11.636
HydraSAT 2009-03-22-Base (complete)1734961SAT 25.2092 25.2196
SApperloT hrp (complete)1734951SAT 36.0165 36.0283
adaptg2wsat2009++ 2009-03-23 (incomplete)1734980SAT 37.5403 37.5544
MiniSAT 09z 2009-03-22 (complete)1834096SAT 42.6435 42.665
clasp 1.2.0-SAT09-32 (complete)1734949SAT 43.9613 43.9728
SAT07 reference solver: SATzilla CRAFTED (complete)1595085SAT 63.6903 63.7391
MoRsat 2009-03-03 (complete)1734943SAT 113.61 113.638
SAT07 reference solver: March KS 2007-02-08 (complete)1595882SAT 117.044 117.106
SATzilla2009_I 2009-03-22 (complete)1734967SAT 134.764 134.889
minisat_cumr p-2009-03-18 (complete)1834095SAT 159.597 159.71
adaptg2wsat2009 2009-03-23 (incomplete)1734979SAT 161.387 161.44
LySAT i/2009-03-20 (complete)1734952SAT 169.107 169.162
MXC 2009-03-10 (complete)1734945SAT 169.172 169.219
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734983SAT 196.026 196.08
gnovelty+ 2009-03-22 (incomplete)1734974SAT 198.288 198.345
VARSAT-industrial 2009-03-22 (complete)1734976SAT 200.669 200.726
kw 2009-03-20 (complete)1734942SAT 206.921 206.976
HydraSAT-Flat 2009-03-22-Flat (complete)1734960SAT 217.58 217.639
picosat 913 (complete)1734947SAT 261.099 261.193
SAT07 reference solver: minisat SAT 2007 (complete)1595084SAT 340.905 341.063
IUT_BMB_SAT 1.0 (complete)1734964SAT 350.322 350.407
glucose 1.0 (complete)1734944SAT 373.239 373.417
hybridGM 1 (incomplete)1734971SAT 380.005 380.152
SATzilla2009_R 2009-03-22 (complete)1734965SAT 389.553 389.716
VARSAT-crafted 2009-03-22 (complete)1734975SAT 403.666 403.793
gNovelty+-V.2-T 2009-03-22 (incomplete)1734989SAT 500.664 250.95
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734954SAT 575.961 288.791
TNM 2009-03-22 (incomplete)1734970SAT 692.02 692.217
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734955SAT 802.701 402.443
gNovelty+-T 2009-03-22 (incomplete)1734987SAT 914.265 458.315
Hybrid2 2009-03-22 (incomplete)1734968SAT 1036.97 1037.34
hybridGM3 3 (incomplete)1734972SAT 1193.94 1194.28
SATzilla2009_C 2009-03-22 (complete)1734966? (exit code) 1198.89 1199.43
gnovelty+2-H 2009-03-22 (incomplete)1734984? (TO) 1200.01 1200.31
CSat 2009-03-22 (complete)1734958? (TO) 1200.02 1200.42
NCVWr 2009-03-22 (incomplete)1734969? (TO) 1200.05 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1734959? (TO) 1200.05 1200.61
gnovelty+2 2009-03-22 (incomplete)1734985? (TO) 1200.06 1200.41
LySAT c/2009-03-20 (complete)1734953? (TO) 1200.08 1200.41
slstc 1.0 (incomplete)1734978? (TO) 1200.09 1200.41
SApperloT base (complete)1734950? (TO) 1200.09 1200.41
tts tts-5-0 (complete)1734946? (TO) 1200.09 1200.44
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734988? (TO) 1200.1 601.412
VARSAT-random 2009-03-22 (complete)1734977? (TO) 1200.1 1200.42
precosat 236 (complete)1734948? (TO) 1200.1 1200.51
CircUs 2009-03-23 (complete)1734981? (TO) 1200.11 1200.41
satake 2009-03-22 (complete)1734990? (TO) 1200.16 601.425
SAT4J CORE 2.1 RC1 (complete)1734941? (TO) 1200.23 1199.75
ttsth-5-0 2009-03-19 (complete)1734986? (TO) 1200.29 601.908
hybridGM7 7 (incomplete)1734973Signal 10.3364 10.3397

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