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

Result page for benchmark
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
MD5SUM678295c947877f01251ebfe072d64bf5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.2855
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
CircUs 2009-03-23 (complete)1735331SAT 3.2855 3.28682
iPAWS 2009-03-22 (incomplete)1735307SAT 3.32449 3.32472
TNM 2009-03-22 (incomplete)1735320SAT 6.23805 6.24032
adaptg2wsat2009 2009-03-23 (incomplete)1735329SAT 6.68098 6.68203
adaptg2wsat2009++ 2009-03-23 (incomplete)1735330SAT 7.06192 7.06494
hybridGM7 7 (incomplete)1735323SAT 7.52685 7.5292
SATzilla2009_R 2009-03-22 (complete)1735315SAT 8.73667 8.759
gnovelty+ 2009-03-22 (incomplete)1735324SAT 10.7724 10.7749
hybridGM 1 (incomplete)1735321SAT 10.8523 10.8567
clasp 1.2.0-SAT09-32 (complete)1735299SAT 27.5618 27.5692
hybridGM3 3 (incomplete)1735322SAT 28.8376 28.8464
glucose 1.0 (complete)1735294SAT 29.2975 29.311
gNovelty+-T 2009-03-22 (incomplete)1735337SAT 31.8042 16.0359
Hybrid2 2009-03-22 (incomplete)1735318SAT 53.0349 53.0538
march_hi hi (complete)1735312SAT 104.474 104.507
march_nn nn (complete)1735313SAT 105.168 105.205
SATzilla2009_I 2009-03-22 (complete)1735317SAT 110.401 110.492
SAT07 reference solver: March KS 2007-02-08 (complete)1595952SAT 157.41 157.497
SAT07 reference solver: SATzilla CRAFTED (complete)1595225SAT 170.812 170.926
LySAT i/2009-03-20 (complete)1735302SAT 178.267 178.349
MXC 2009-03-10 (complete)1735295SAT 210.494 210.57
picosat 913 (complete)1735297SAT 280.994 281.136
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735305SAT 300.712 150.871
kw 2009-03-20 (complete)1735292SAT 311.408 311.522
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735333SAT 396.243 396.347
Rsat 2009-03-22 (complete)1735332SAT 518.382 518.415
slstc 1.0 (incomplete)1735328SAT 550.631 550.779
HydraSAT 2009-03-22-Base (complete)1735311SAT 606.207 606.412
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735304SAT 652.515 327.171
gnovelty+2-H 2009-03-22 (incomplete)1735334SAT 655.073 655.413
gnovelty+2 2009-03-22 (incomplete)1735335SAT 657.985 658.178
IUT_BMB_SAT 1.0 (complete)1735314SAT 660.063 660.359
SAT07 reference solver: minisat SAT 2007 (complete)1595224SAT 660.554 660.766
HydraSAT-Multi 2009-03-22-Multi (complete)1735309SAT 691.269 691.457
SATzilla2009_C 2009-03-22 (complete)1735316SAT 700.499 700.883
LySAT c/2009-03-20 (complete)1735303SAT 714.611 714.923
precosat 236 (complete)1735298SAT 771.886 772.098
NCVWr 2009-03-22 (incomplete)1735319SAT 809.252 809.536
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735306SAT 842.523 422.396
HydraSAT-Flat 2009-03-22-Flat (complete)1735310SAT 1054.59 1054.99
VARSAT-industrial 2009-03-22 (complete)1735326SAT 1075.31 1075.63
tts tts-5-0 (complete)1735296? 1200.03 1200.49
VARSAT-crafted 2009-03-22 (complete)1735325? (TO) 1200.05 1200.32
MoRsat 2009-03-03 (complete)1735293? (TO) 1200.08 1200.42
CSat 2009-03-22 (complete)1735308? (TO) 1200.08 1200.42
VARSAT-random 2009-03-22 (complete)1735327? (TO) 1200.08 1200.42
MiniSAT 09z 2009-03-22 (complete)1834110? (TO) 1200.08 1200.51
SApperloT base (complete)1735300? (TO) 1200.09 1200.41
minisat_cumr p-2009-03-18 (complete)1834109? (TO) 1200.12 1200.51
satake 2009-03-22 (complete)1735340? (TO) 1200.14 601.426
ttsth-5-0 2009-03-19 (complete)1735336? (TO) 1200.14 601.811
SApperloT hrp (complete)1735301? (TO) 1200.14 1200.47
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735338? (TO) 1200.19 601.513
gNovelty+-V.2-T 2009-03-22 (incomplete)1735339? (TO) 1200.2 601.917
SAT4J CORE 2.1 RC1 (complete)1735291? (TO) 1200.44 1199.86

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