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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
MD5SUMfac733a1c5caf879cadf25b989055e5e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.421935
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
sattime+ 2011-03-02 (incomplete)3257924SAT 0.421935 0.426988
sattime2011 2011-03-02 (incomplete)3257918SAT 0.626903 0.628382
sattime 2011-03-02 (incomplete)3257919SAT 4.12337 4.1241
adaptg2wsat2011 2011-03-02 (incomplete)3257922SAT 5.84111 5.84605
shortsattime+ 2011-03-02 (incomplete)3257923SAT 6.52001 6.51968
shortsattime2011 2011-03-02 (incomplete)3257920SAT 7.64784 7.64785
ppfolio seq (complete)3257950SAT 10.1485 10.148
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448829SAT 12.57 19.9364
Plingeling 587 [DEPRECATED] (complete)3257942SAT 15.8616 4.02822
Plingeling 587f (fixed) (complete)3371069SAT 16.1385 4.16584
Sol 2011-04-04 (complete)3257945SAT 19.2051 19.0312
march_rw 2011-03-02 (complete)3257917SAT 26.9809 26.9798
riss Auto (1200 s timeout) (complete)3472660SAT 28.3837 28.3873
sathys 2011-04-01 (complete)3257947SAT 36.5834 36.5928
QuteRSat 2011-03-01 [DEPRECATED] (complete)3257944SAT 36.9234 36.9226
claspmt 2.0-R4095 [DEPRECATED] (complete)3299548SAT 36.9644 9.35687
RestartSAT B95 (complete)3257925SAT 40.9118 40.9113
clasp 2.0-R4092-crafted (complete)3300448SAT 42.6715 42.677
claspmt 2.0-R4095-patched (fixed) (complete)3373169SAT 51.7051 13.0563
riss Exp (complete)3257936SAT 53.3549 53.3599
ppfolio par (complete)3257949SAT 54.66 13.7324
MPhaseSAT_M 2011-02-16 (complete)3257916SAT 70.2763 70.2763
MPhaseSAT 2011-02-15 (complete)3257914SAT 75.9585 75.9582
rcl 2011-04-01 (complete)3257946SAT 78.2891 78.2942
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273232SAT 89.7484 89.7461
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3257955SAT 102.351 102.353
SApperloT2010 2011-05-15 (fixed) (complete)3379769SAT 103.793 103.794
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3257931SAT 104.672 26.2103
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3257948SAT 118.553 117.333
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368069SAT 119.405 119.413
glucose 2 (complete)3257952SAT 123.823 123.822
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3257932SAT 130.062 130.071
SArTagnan 2011-05-15 (fixed) (complete)3386013SAT 136.495 34.2581
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369269SAT 137.576 34.5083
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3257933SAT 144.374 36.1446
SApperloT 2011-03-23 (complete)3257957SAT 148.79 148.793
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370469SAT 156.291 156.287
QuteRSat 2011-05-12 (fixed) (complete)3376769SAT 161.133 161.13
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366869SAT 166.526 41.7563
SArTagnan 2011-03-24 [DEPRECATED] (complete)3257956SAT 171.899 43.0494
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3257934SAT 172.394 172.422
synit_sat 2011-03-03 (complete)3257921SAT 172.854 172.849
Satisfiability Solver Selector 2011-03-18 (complete)3257951SAT 187.62 199.663
MPhaseSAT64 2011-05-14 (fixed) (complete)3375569SAT 207.349 207.347
Lingeling 587f (fixed) (complete)3371669SAT 209.662 209.669
Lingeling 587 [DEPRECATED] (complete)3257943SAT 210.234 210.235
priss Auto (complete)3257939SAT 261.312 65.4572
priss 1.0 (complete)3257940SAT 280.797 70.3287
priss UP (complete)3257938SAT 371.766 208.562
PicoSAT 941 (complete)3257941SAT 376.873 376.867
SAT07 reference solver: minisat SAT 2007 (complete)3273234SAT 383.297 383.286
riss 1.0 (complete)3257935SAT 421.244 421.256
riss Auto (complete)3257937SAT 431.334 431.887
CryptoMiniSat TechDemo-Alpha-mt (complete)3257929SAT 613.881 154.482
STRUCTure 0.1 (hbr=2) (complete)3311893SAT 2036.95 513.054
STRUCTure 0.1 (complete)3313093SAT 2252.76 567.359
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3257915? 6.53401 6.53369
Black Hole SAT 2011-03-08 (complete)3257928? (TO) 1299.97 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273233? (TO) 1300.03 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3257930? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379169? (TO) 1300.06 1300.03
UmSat 2011-02-25 [DEPRECATED] (complete)3257927? (TO) 1300.06 1300.02
RestartSAT A75 (complete)3257926? (TO) 1300.06 1300.01
tts 5-4 (complete)3257953? (TO) 1300.17 1300.13
jMiniSat 2011 (complete)3279946? (TO) 1301.11 1300.02
ttsth 5-4 (complete)3257954? (TO) 4800.3 1204.08

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