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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
MD5SUM8541c8ec619084537b62d7926e092ff9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.693893
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)1735280SAT 0.693893 0.694627
TNM 2009-03-22 (incomplete)1735270SAT 1.44278 1.44332
hybridGM 1 (incomplete)1735271SAT 1.53177 1.53465
hybridGM3 3 (incomplete)1735272SAT 1.9387 1.9403
iPAWS 2009-03-22 (incomplete)1735257SAT 2.45663 2.4583
hybridGM7 7 (incomplete)1735273SAT 2.74558 2.74753
SATzilla2009_R 2009-03-22 (complete)1735265SAT 3.11952 3.1203
adaptg2wsat2009 2009-03-23 (incomplete)1735279SAT 10.4034 10.4103
Hybrid2 2009-03-22 (incomplete)1735268SAT 11.6012 11.6044
gnovelty+ 2009-03-22 (incomplete)1735274SAT 12.1082 12.1123
gNovelty+-T 2009-03-22 (incomplete)1735287SAT 24.8932 12.5735
HydraSAT 2009-03-22-Base (complete)1735261SAT 32.0941 32.1052
SAT07 reference solver: SATzilla CRAFTED (complete)1595211SAT 43.5454 43.5719
SATzilla2009_C 2009-03-22 (complete)1735266SAT 52.1641 52.2027
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735283SAT 57.4093 57.4253
clasp 1.2.0-SAT09-32 (complete)1735249SAT 79.067 79.0996
march_nn nn (complete)1735263SAT 146.571 146.607
march_hi hi (complete)1735262SAT 146.765 146.824
NCVWr 2009-03-22 (incomplete)1735269SAT 153.064 153.102
LySAT i/2009-03-20 (complete)1735252SAT 190.346 190.391
SAT07 reference solver: March KS 2007-02-08 (complete)1595945SAT 218.4 218.495
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735255SAT 219.392 110.102
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735288SAT 233.154 116.909
Rsat 2009-03-22 (complete)1735282SAT 247.728 247.857
precosat 236 (complete)1735248SAT 257.762 257.852
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735256SAT 268.8 134.86
kw 2009-03-20 (complete)1735242SAT 275.36 275.457
HydraSAT-Multi 2009-03-22-Multi (complete)1735259SAT 332.51 332.658
glucose 1.0 (complete)1735244SAT 358.522 358.702
gnovelty+2 2009-03-22 (incomplete)1735285SAT 412.668 412.779
VARSAT-crafted 2009-03-22 (complete)1735275SAT 457.18 457.31
picosat 913 (complete)1735247SAT 469.097 469.265
VARSAT-industrial 2009-03-22 (complete)1735276SAT 507.856 508.002
gnovelty+2-H 2009-03-22 (incomplete)1735284SAT 509.174 509.317
gNovelty+-V.2-T 2009-03-22 (incomplete)1735289SAT 536.326 268.828
HydraSAT-Flat 2009-03-22-Flat (complete)1735260SAT 572.3 572.528
slstc 1.0 (incomplete)1735278SAT 595.226 595.495
VARSAT-random 2009-03-22 (complete)1735277SAT 609.82 609.976
minisat_cumr p-2009-03-18 (complete)1834107SAT 681.656 681.967
SApperloT hrp (complete)1735251SAT 706.025 706.235
SATzilla2009_I 2009-03-22 (complete)1735267SAT 789.984 790.389
LySAT c/2009-03-20 (complete)1735253SAT 871.475 871.72
MXC 2009-03-10 (complete)1735245SAT 986.627 986.898
SApperloT base (complete)1735250SAT 1005.77 1006.07
MiniSAT 09z 2009-03-22 (complete)1834108? (TO) 1200.06 1200.41
IUT_BMB_SAT 1.0 (complete)1735264? (TO) 1200.06 1200.62
CircUs 2009-03-23 (complete)1735281? (TO) 1200.07 1200.41
MoRsat 2009-03-03 (complete)1735243? (TO) 1200.08 1200.42
CSat 2009-03-22 (complete)1735258? (TO) 1200.08 1200.52
tts tts-5-0 (complete)1735246? (TO) 1200.09 1200.37
SAT07 reference solver: minisat SAT 2007 (complete)1595210? (TO) 1200.12 1200.71
ttsth-5-0 2009-03-19 (complete)1735286? (TO) 1200.14 601.772
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735254? (TO) 1200.17 601.622
satake 2009-03-22 (complete)1735290? (TO) 1200.2 601.527
SAT4J CORE 2.1 RC1 (complete)1735241? (TO) 1200.44 1200.05

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