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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
MD5SUM57c91698da60cd77ab278c961fa35654
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.594909
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
adaptg2wsat2011 2011-03-02 (incomplete)3258098SAT 0.594909 0.596054
sattime 2011-03-02 (incomplete)3258095SAT 1.3158 1.31785
ppfolio seq (complete)3258126SAT 1.49277 1.49252
shortsattime2011 2011-03-02 (incomplete)3258096SAT 4.84126 4.84367
clasp 2.0-R4092-crafted (complete)3300447SAT 6.71198 6.71285
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448833SAT 12.86 18.9324
sattime+ 2011-03-02 (incomplete)3258100SAT 21.8807 21.8824
ppfolio par (complete)3258125SAT 23.9824 6.07579
Satisfiability Solver Selector 2011-03-18 (complete)3258127SAT 28.41 30.1846
sattime2011 2011-03-02 (incomplete)3258094SAT 35.7946 35.8007
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3258107SAT 36.9514 9.72613
shortsattime+ 2011-03-02 (incomplete)3258099SAT 38.8721 38.8726
glucose 2 (complete)3258128SAT 44.2563 44.2584
SApperloT 2011-03-23 (complete)3258133SAT 55.8165 55.8399
priss UP (complete)3258114SAT 62.4525 36.1797
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273244SAT 70.6363 70.6349
RestartSAT B95 (complete)3258101SAT 70.7113 70.7136
QuteRSat 2011-03-01 [DEPRECATED] (complete)3258120SAT 75.2466 75.2453
claspmt 2.0-R4095-patched (fixed) (complete)3373168SAT 83.6803 21.0837
MPhaseSAT 2011-02-15 (complete)3258090SAT 86.8548 86.8603
MPhaseSAT_M 2011-02-16 (complete)3258092SAT 89.3154 89.3154
claspmt 2.0-R4095 [DEPRECATED] (complete)3299547SAT 90.9882 22.8797
MPhaseSAT64 2011-05-14 (fixed) (complete)3375568SAT 91.2821 91.2812
riss Auto (1200 s timeout) (complete)3472664SAT 96.7 96.8211
synit_sat 2011-03-03 (complete)3258097SAT 101.002 101.002
march_rw 2011-03-02 (complete)3258093SAT 138.438 138.441
riss Auto (complete)3258113SAT 139.354 139.354
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273245SAT 147.402 147.42
riss 1.0 (complete)3258111SAT 152.951 152.947
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369268SAT 154.791 38.7782
QuteRSat 2011-05-12 (fixed) (complete)3376768SAT 172.265 172.266
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370468SAT 188.364 188.368
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3258110SAT 211.071 211.099
priss 1.0 (complete)3258116SAT 240.658 60.4574
jMiniSat 2011 (complete)3279945SAT 267.675 267.334
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368068SAT 273.19 273.186
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3258109SAT 275.655 69.0059
riss Exp (complete)3258112SAT 275.763 275.752
Plingeling 587f (fixed) (complete)3371068SAT 295.738 74.5303
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3258108SAT 297.439 297.449
rcl 2011-04-01 (complete)3258122SAT 367.655 367.648
Lingeling 587f (fixed) (complete)3371668SAT 447.952 447.941
SAT07 reference solver: minisat SAT 2007 (complete)3273246SAT 476.495 476.483
Lingeling 587 [DEPRECATED] (complete)3258119SAT 492.099 492.086
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366868SAT 492.335 123.46
RestartSAT A75 (complete)3258102SAT 665.911 665.934
PicoSAT 941 (complete)3258117SAT 669.4 669.389
SApperloT2010 2011-05-15 (fixed) (complete)3379768SAT 688.497 688.526
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3258131SAT 706.127 706.12
Sol 2011-04-04 (complete)3258121SAT 822.891 817.056
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3258124SAT 1091.65 1090.01
sathys 2011-04-01 (complete)3258123SAT 1194.82 1194.8
Plingeling 587 [DEPRECATED] (complete)3258118SAT 1257.58 315.242
SArTagnan 2011-05-15 (fixed) (complete)3386012SAT 2267.57 739.178
priss Auto (complete)3258115SAT 2427.25 607.718
STRUCTure 0.1 (hbr=2) (complete)3311892SAT 4787.06 1205.42
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3258091? 6.92295 6.92483
UmSat 2011-05-12 (fixed) (complete)3379168? (TO) 1300.04 1300.03
CryptoMiniSat TechDemo-Alpha-st (complete)3258106? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3258104? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3258103? (TO) 1300.06 1300.02
tts 5-4 (complete)3258129? (TO) 1300.17 1300.32
CryptoMiniSat TechDemo-Alpha-mt (complete)3258105? (TO) 4800.3 1201.72
STRUCTure 0.1 (complete)3313092? (TO) 4800.45 1208.04
ttsth 5-4 (complete)3258130? (TO) 4800.47 1205.24
SArTagnan 2011-03-24 [DEPRECATED] (complete)3258132Wrong Cert. 4647.32 1163.66

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