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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
MD5SUMdc046d6f885b64777ffc1cfc8367a176
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.909861
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
shortsattime2011 2011-03-02 (incomplete)3259460SAT 0.909861 0.910007
sattime 2011-03-02 (incomplete)3259459SAT 1.89471 1.89588
sattime2011 2011-03-02 (incomplete)3259458SAT 1.91371 1.91481
adaptg2wsat2011 2011-03-02 (incomplete)3259462SAT 2.57161 2.57253
shortsattime+ 2011-03-02 (incomplete)3259463SAT 7.69283 7.69507
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448864SAT 12.87 18.2022
ppfolio par (complete)3259489SAT 13.5599 3.39774
sattime+ 2011-03-02 (incomplete)3259464SAT 19.2431 19.2436
Satisfiability Solver Selector 2011-03-18 (complete)3259491SAT 27.7418 28.1044
ppfolio seq (complete)3259490SAT 32.83 32.8357
sathys 2011-04-01 (complete)3259487SAT 340.267 340.267
clasp 2.0-R4092-crafted (complete)3300388SAT 435.546 435.535
jMiniSat 2011 (complete)3279886SAT 474.864 474.284
riss Exp (complete)3259476SAT 630.403 630.395
march_rw 2011-03-02 (complete)3259457SAT 735.886 735.872
claspmt 2.0-R4095-patched (fixed) (complete)3373109SAT 761.435 200.537
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3259473SAT 2568.72 642.969
claspmt 2.0-R4095 [DEPRECATED] (complete)3299488SAT 4285.75 1072.89
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259455? 18.6662 18.6657
riss Auto (1200 s timeout) (complete)3472695? (TO) 1200.05 1200.04
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368009? (TO) 1300 1300.02
MPhaseSAT_M 2011-02-16 (complete)3259456? (TO) 1300 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370409? (TO) 1300.01 1300.02
PicoSAT 941 (complete)3259481? (TO) 1300.02 1300.01
riss 1.0 (complete)3259475? (TO) 1300.02 1300.01
UmSat 2011-05-12 (fixed) (complete)3379109? (TO) 1300.02 1300.03
glucose 2 (complete)3259492? (TO) 1300.02 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3259495? (TO) 1300.04 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273338? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3259466? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3259454? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3259470? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3259472? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3259474? (TO) 1300.04 1300.02
riss Auto (complete)3259477? (TO) 1300.04 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379709? (TO) 1300.05 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376709? (TO) 1300.05 1300.03
SAT07 reference solver: minisat SAT 2007 (complete)3273339? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3259497? (TO) 1300.05 1300.02
rcl 2011-04-01 (complete)3259486? (TO) 1300.05 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3259484? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375509? (TO) 1300.06 1300.01
RestartSAT B95 (complete)3259465? (TO) 1300.06 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3259467? (TO) 1300.06 1300.03
Black Hole SAT 2011-03-08 (complete)3259468? (TO) 1300.06 1300.01
Lingeling 587f (fixed) (complete)3371609? (TO) 1300.06 1300.02
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273337? (TO) 1300.06 1300.01
Lingeling 587 [DEPRECATED] (complete)3259483? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3259461? (TO) 1300.06 1300.02
tts 5-4 (complete)3259493? (TO) 1300.15 1300.16
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3259488? (TO) 1301.06 1300.06
Sol 2011-04-04 (complete)3259485? (TO) 1310.3 1300.03
priss UP (complete)3259478? (TO) 2368.54 1300.02
priss Auto (complete)3259479? (TO) 4800.05 1201.72
priss 1.0 (complete)3259480? (TO) 4800.06 1201.72
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369209? (TO) 4800.18 1203.64
CryptoMiniSat TechDemo-Alpha-mt (complete)3259469? (TO) 4800.28 1201.82
Plingeling 587 [DEPRECATED] (complete)3259482? (TO) 4800.3 1201.75
ttsth 5-4 (complete)3259494? (TO) 4800.33 1202.71
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366809? (TO) 4800.35 1203.85
SArTagnan 2011-03-24 [DEPRECATED] (complete)3259496? (TO) 4800.37 1201.77
Plingeling 587f (fixed) (complete)3371009? (TO) 4800.42 1203.76
STRUCTure 0.1 (hbr=2) (complete)3311833? (TO) 4800.42 1207.42
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259471? (TO) 4800.45 1202.84
SArTagnan 2011-05-15 (fixed) (complete)3385953? (TO) 4800.49 1203.86
STRUCTure 0.1 (complete)3313033? (TO) 4800.63 1207.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