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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
MD5SUM26faf32fde08600c4dd1614dd861e544
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.368943
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
hybridGM 1 (incomplete)1734771SAT 0.368943 0.370991
gNovelty+-T 2009-03-22 (incomplete)1734787SAT 1.10983 0.656871
TNM 2009-03-22 (incomplete)1734770SAT 2.42063 2.42193
hybridGM7 7 (incomplete)1734773SAT 5.57315 5.57638
gnovelty+ 2009-03-22 (incomplete)1734774SAT 7.8638 7.86667
SATzilla2009_R 2009-03-22 (complete)1734765SAT 9.51055 9.51871
Hybrid2 2009-03-22 (incomplete)1734768SAT 10.4834 10.4891
adaptg2wsat2009++ 2009-03-23 (incomplete)1734780SAT 12.1132 12.1126
adaptg2wsat2009 2009-03-23 (incomplete)1734779SAT 14.4128 14.4175
hybridGM3 3 (incomplete)1734772SAT 14.4198 14.4253
MXC 2009-03-10 (complete)1734745SAT 19.2601 19.267
iPAWS 2009-03-22 (incomplete)1734757SAT 19.2681 19.2659
MiniSAT 09z 2009-03-22 (complete)1834088SAT 19.3551 19.3649
SAT07 reference solver: SATzilla CRAFTED (complete)1595011SAT 30.8063 30.8309
Rsat 2009-03-22 (complete)1734782SAT 35.4506 35.4564
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734783SAT 44.1633 44.1784
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734754SAT 46.083 23.2289
clasp 1.2.0-SAT09-32 (complete)1734749SAT 57.4833 57.5033
march_nn nn (complete)1734763SAT 72.432 72.4285
march_hi hi (complete)1734762SAT 72.8519 72.8743
precosat 236 (complete)1734748SAT 72.9889 73.0049
CircUs 2009-03-23 (complete)1734781SAT 78.816 78.8407
SAT07 reference solver: March KS 2007-02-08 (complete)1595845SAT 80.3418 80.378
picosat 913 (complete)1734747SAT 142.116 142.157
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734755SAT 148.57 74.7066
glucose 1.0 (complete)1734744SAT 150.04 150.128
VARSAT-random 2009-03-22 (complete)1734777SAT 182.352 182.407
VARSAT-industrial 2009-03-22 (complete)1734776SAT 193.609 193.681
SAT4J CORE 2.1 RC1 (complete)1734741SAT 197.834 197.302
CSat 2009-03-22 (complete)1734758SAT 198.844 198.921
LySAT i/2009-03-20 (complete)1734752SAT 206.668 206.761
SATzilla2009_C 2009-03-22 (complete)1734766SAT 209.353 209.484
SApperloT hrp (complete)1734751SAT 326.408 326.503
HydraSAT-Multi 2009-03-22-Multi (complete)1734759SAT 337.56 337.666
minisat_cumr p-2009-03-18 (complete)1834087SAT 340.643 340.892
VARSAT-crafted 2009-03-22 (complete)1734775SAT 382.689 382.793
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734756SAT 447.079 224.215
SApperloT base (complete)1734750SAT 492.204 492.345
HydraSAT 2009-03-22-Base (complete)1734761SAT 528.345 528.462
kw 2009-03-20 (complete)1734742SAT 764.663 764.872
HydraSAT-Flat 2009-03-22-Flat (complete)1734760SAT 860.789 861.064
LySAT c/2009-03-20 (complete)1734753SAT 915.806 916.316
SAT07 reference solver: minisat SAT 2007 (complete)1595010SAT 1149.92 1150.38
IUT_BMB_SAT 1.0 (complete)1734764SAT 1155.2 1155.77
SATzilla2009_I 2009-03-22 (complete)1734767? (exit code) 1198.88 1199.43
slstc 1.0 (incomplete)1734778? (TO) 1200.04 1200.51
MoRsat 2009-03-03 (complete)1734743? (TO) 1200.06 1200.53
ttsth-5-0 2009-03-19 (complete)1734786? (TO) 1200.08 603.953
gnovelty+2 2009-03-22 (incomplete)1734785? (TO) 1200.08 1200.51
gnovelty+2-H 2009-03-22 (incomplete)1734784? (TO) 1200.09 1200.01
NCVWr 2009-03-22 (incomplete)1734769? (TO) 1200.1 1200.61
tts tts-5-0 (complete)1734746? (TO) 1200.1 1200.95
gNovelty+-V.2-T 2009-03-22 (incomplete)1734789? (TO) 1200.13 603.314
satake 2009-03-22 (complete)1734790? (TO) 1200.17 603.325
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734788? (TO) 1200.22 603.614

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