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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
MD5SUM424de5d4f0392bf458f49384a643429b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.16421
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
Hybrid2 2009-03-22 (incomplete)1736018SAT 5.16421 5.16563
hybridGM7 7 (incomplete)1736023SAT 9.93549 9.9391
adaptg2wsat2009 2009-03-23 (incomplete)1736029SAT 10.7924 10.7982
hybridGM 1 (incomplete)1736021SAT 12.0432 12.0492
adaptg2wsat2009++ 2009-03-23 (incomplete)1736030SAT 12.839 12.8429
TNM 2009-03-22 (incomplete)1736020SAT 13.6919 13.6959
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1736038SAT 15.4616 7.8365
hybridGM3 3 (incomplete)1736022SAT 17.5913 17.597
gNovelty+-T 2009-03-22 (incomplete)1736037SAT 21.9357 11.0919
gnovelty+ 2009-03-22 (incomplete)1736024SAT 39.8409 39.8526
iPAWS 2009-03-22 (incomplete)1736007SAT 41.7207 41.7307
SATzilla2009_R 2009-03-22 (complete)1736015SAT 78.872 78.9311
gNovelty+-V.2-T 2009-03-22 (incomplete)1736039SAT 155.393 77.9507
VARSAT-random 2009-03-22 (complete)1736027SAT 163.359 163.407
LySAT c/2009-03-20 (complete)1736003SAT 659.296 659.564
VARSAT-industrial 2009-03-22 (complete)1736026SAT 686.901 687.075
march_hi hi (complete)1736012SAT 712.853 713.04
SATzilla2009_C 2009-03-22 (complete)1736016SAT 1040.32 1040.76
SAT07 reference solver: SATzilla CRAFTED (complete)1595571SAT 1103.22 1103.75
picosat 913 (complete)1735997SAT 1134.25 1134.67
VARSAT-crafted 2009-03-22 (complete)1736025SAT 1185.69 1186.04
tts tts-5-0 (complete)1735996? 1200.02 1200.43
SATzilla2009_I 2009-03-22 (complete)1736017? (exit code) 1198.98 1199.5
LySAT i/2009-03-20 (complete)1736002? (TO) 1200.01 1200.51
MXC 2009-03-10 (complete)1735995? (TO) 1200.02 1200.32
CSat 2009-03-22 (complete)1736008? (TO) 1200.03 1200.32
gnovelty+2 2009-03-22 (incomplete)1736035? (TO) 1200.03 1200.41
SAT07 reference solver: minisat SAT 2007 (complete)1595570? (TO) 1200.03 1200.42
Rsat 2009-03-22 (complete)1736032? (TO) 1200.04 1200.41
IUT_BMB_SAT 1.0 (complete)1736014? (TO) 1200.05 1200.62
MiniSat 2.1 (Sat-race'08 Edition) (complete)1736033? (TO) 1200.05 1200.62
HydraSAT-Multi 2009-03-22-Multi (complete)1736009? (TO) 1200.06 1200.61
MiniSAT 09z 2009-03-22 (complete)1834138? (TO) 1200.06 1200.61
precosat 236 (complete)1735998? (TO) 1200.07 1200.42
clasp 1.2.0-SAT09-32 (complete)1735999? (TO) 1200.07 1199.91
glucose 1.0 (complete)1735994? (TO) 1200.07 1200.71
march_nn nn (complete)1736013? (TO) 1200.07 1200.43
MoRsat 2009-03-03 (complete)1735993? (TO) 1200.08 1200.52
minisat_cumr p-2009-03-18 (complete)1834137? (TO) 1200.09 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1736010? (TO) 1200.09 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1736034? (TO) 1200.09 1200.41
SApperloT base (complete)1736000? (TO) 1200.09 1200.42
ManySAT 1.1 aimd 1/2009-03-20 (complete)1736005? (TO) 1200.09 601.623
HydraSAT 2009-03-22-Base (complete)1736011? (TO) 1200.09 1200.41
NCVWr 2009-03-22 (incomplete)1736019? (TO) 1200.09 1200.51
CircUs 2009-03-23 (complete)1736031? (TO) 1200.1 1200.42
SApperloT hrp (complete)1736001? (TO) 1200.1 1200.45
slstc 1.0 (incomplete)1736028? (TO) 1200.1 1200.41
satake 2009-03-22 (complete)1736040? (TO) 1200.11 601.428
ttsth-5-0 2009-03-19 (complete)1736036? (TO) 1200.11 601.766
SAT07 reference solver: March KS 2007-02-08 (complete)1596125? (TO) 1200.13 1200.63
kw 2009-03-20 (complete)1735992? (TO) 1200.13 1200.64
ManySAT 1.1 aimd 2/2009-03-20 (complete)1736006? (TO) 1200.19 601.623
ManySAT 1.1 aimd 0/2009-03-20 (complete)1736004? (TO) 1200.2 601.622
SAT4J CORE 2.1 RC1 (complete)1735991? (TO) 1200.29 1199.96

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