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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
MD5SUM5ca98921e111a723938eee2419329779
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.669897
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
gNovelty+-T 2009-03-22 (incomplete)1735137SAT 0.669897 0.432998
adaptg2wsat2009++ 2009-03-23 (incomplete)1735130SAT 0.682895 0.683009
adaptg2wsat2009 2009-03-23 (incomplete)1735129SAT 0.835872 0.836475
hybridGM3 3 (incomplete)1735122SAT 1.44578 1.44775
hybridGM 1 (incomplete)1735121SAT 2.26365 2.26637
TNM 2009-03-22 (incomplete)1735120SAT 2.38564 2.38502
hybridGM7 7 (incomplete)1735123SAT 2.91056 2.91148
SATzilla2009_R 2009-03-22 (complete)1735115SAT 4.36533 4.37215
iPAWS 2009-03-22 (incomplete)1735107SAT 4.62529 4.62664
MXC 2009-03-10 (complete)1735095SAT 8.5587 8.56207
VARSAT-industrial 2009-03-22 (complete)1735126SAT 10.9653 10.9689
gnovelty+ 2009-03-22 (incomplete)1735124SAT 14.4748 14.4786
CircUs 2009-03-23 (complete)1735131SAT 17.7093 17.7133
Hybrid2 2009-03-22 (incomplete)1735118SAT 24.7532 24.7678
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735105SAT 28.0647 14.1947
march_nn nn (complete)1735113SAT 29.5315 29.5386
march_hi hi (complete)1735112SAT 31.2952 31.3034
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735106SAT 35.1347 17.7421
gNovelty+-V.2-T 2009-03-22 (incomplete)1735139SAT 46.8879 23.5711
HydraSAT-Flat 2009-03-22-Flat (complete)1735110SAT 55.4506 55.4661
precosat 236 (complete)1735098SAT 55.9385 55.9552
gnovelty+2 2009-03-22 (incomplete)1735135SAT 68.3646 68.3897
SATzilla2009_I 2009-03-22 (complete)1735117SAT 73.7808 73.9041
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735133SAT 96.3174 96.3415
glucose 1.0 (complete)1735094SAT 119.842 119.885
clasp 1.2.0-SAT09-32 (complete)1735099SAT 120.141 120.171
LySAT c/2009-03-20 (complete)1735103SAT 163.751 163.823
NCVWr 2009-03-22 (incomplete)1735119SAT 176.012 176.064
kw 2009-03-20 (complete)1735092SAT 189.513 189.568
SAT07 reference solver: March KS 2007-02-08 (complete)1595908SAT 191.324 191.402
Rsat 2009-03-22 (complete)1735132SAT 226.737 226.853
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735104SAT 227.791 114.303
SATzilla2009_C 2009-03-22 (complete)1735116SAT 239.31 239.429
LySAT i/2009-03-20 (complete)1735102SAT 294.023 294.182
SAT07 reference solver: SATzilla CRAFTED (complete)1595137SAT 315.757 315.905
SAT07 reference solver: minisat SAT 2007 (complete)1595136SAT 367.671 367.882
IUT_BMB_SAT 1.0 (complete)1735114SAT 368.512 368.721
minisat_cumr p-2009-03-18 (complete)1834101SAT 371.719 371.917
HydraSAT 2009-03-22-Base (complete)1735111SAT 399.91 400.027
MiniSAT 09z 2009-03-22 (complete)1834102SAT 465.411 465.534
HydraSAT-Multi 2009-03-22-Multi (complete)1735109SAT 489.323 489.534
VARSAT-random 2009-03-22 (complete)1735127SAT 580.499 580.664
picosat 913 (complete)1735097SAT 584.549 584.751
gnovelty+2-H 2009-03-22 (incomplete)1735134SAT 661.346 661.535
VARSAT-crafted 2009-03-22 (complete)1735125SAT 685.407 685.574
SApperloT base (complete)1735100SAT 699.881 700.084
slstc 1.0 (incomplete)1735128SAT 908.524 908.781
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735138SAT 951.476 476.835
CSat 2009-03-22 (complete)1735108? (TO) 1200.04 1200.42
MoRsat 2009-03-03 (complete)1735093? (TO) 1200.08 1200.52
SApperloT hrp (complete)1735101? (TO) 1200.09 1199.94
tts tts-5-0 (complete)1735096? (TO) 1200.11 1200.44
ttsth-5-0 2009-03-19 (complete)1735136? (TO) 1200.12 601.887
satake 2009-03-22 (complete)1735140? (TO) 1200.14 601.424
SAT4J CORE 2.1 RC1 (complete)1735091? (TO) 1200.32 1199.76

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