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

Result page for benchmark
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
MD5SUMb2faaeee76c00fde04e0b0ad23906b5b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010998
Satisfiable
(Un)Satisfiability was proved
Number of variables840
Number of clauses23548
Sum of the clauses size47880
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 223520
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 528

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT base (complete)1734500SAT 0.010998 0.011917
SApperloT hrp (complete)1734501SAT 0.011997 0.011715
picosat 913 (complete)1734497SAT 0.013997 0.014431
iPAWS 2009-03-22 (incomplete)1734507SAT 0.035993 0.0365971
SATzilla2009_R 2009-03-22 (complete)1734515SAT 0.036994 0.037585
CSat 2009-03-22 (complete)1734508SAT 0.042992 0.0439951
satake 2009-03-22 (complete)1734540SAT 0.042993 0.0268729
CircUs 2009-03-23 (complete)1734531SAT 0.045992 0.044738
hybridGM3 3 (incomplete)1734522SAT 0.059989 0.0624241
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734533SAT 0.06099 0.0611879
hybridGM7 7 (incomplete)1734523SAT 0.063989 0.065345
hybridGM 1 (incomplete)1734521SAT 0.064989 0.0662841
NCVWr 2009-03-22 (incomplete)1734519SAT 0.068988 0.069007
TNM 2009-03-22 (incomplete)1734520SAT 0.069988 0.0702099
Hybrid2 2009-03-22 (incomplete)1734518SAT 0.072988 0.0736769
gnovelty+2 2009-03-22 (incomplete)1734535SAT 0.077987 0.077524
MoRsat 2009-03-03 (complete)1734493SAT 0.079987 0.080531
gnovelty+2-H 2009-03-22 (incomplete)1734534SAT 0.080986 0.0817631
clasp 1.2.0-SAT09-32 (complete)1734499SAT 0.083986 0.0843469
gNovelty+-V.2-T 2009-03-22 (incomplete)1734539SAT 0.083987 0.080676
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734538SAT 0.084986 0.0832951
glucose 1.0 (complete)1734494SAT 0.090985 0.090247
adaptg2wsat2009 2009-03-23 (incomplete)1734529SAT 0.091985 0.091516
minisat_cumr p-2009-03-18 (complete)1834077SAT 0.095985 0.0998171
MiniSAT 09z 2009-03-22 (complete)1834078SAT 0.096985 0.097883
adaptg2wsat2009++ 2009-03-23 (incomplete)1734530SAT 0.097985 0.0966951
Rsat 2009-03-22 (complete)1734532SAT 0.098983 0.0991981
slstc 1.0 (incomplete)1734528SAT 0.100984 0.100449
LySAT c/2009-03-20 (complete)1734503SAT 0.106983 0.10724
LySAT i/2009-03-20 (complete)1734502SAT 0.108982 0.108223
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734504SAT 0.12198 0.121391
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734506SAT 0.121981 0.119827
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734505SAT 0.12698 0.125508
SATzilla2009_I 2009-03-22 (complete)1734517SAT 0.177972 0.177618
gNovelty+-T 2009-03-22 (incomplete)1734537SAT 0.183971 0.178367
MXC 2009-03-10 (complete)1734495SAT 0.196969 0.197197
gnovelty+ 2009-03-22 (incomplete)1734524SAT 0.198969 0.198794
VARSAT-industrial 2009-03-22 (complete)1734526SAT 0.201969 0.202605
VARSAT-crafted 2009-03-22 (complete)1734525SAT 0.205967 0.206642
SAT07 reference solver: minisat SAT 2007 (complete)1594900SAT 0.222965 0.222977
ttsth-5-0 2009-03-19 (complete)1734536SAT 0.291955 0.292274
tts tts-5-0 (complete)1734496SAT 0.311951 0.312151
precosat 236 (complete)1734498SAT 0.352945 0.353125
HydraSAT 2009-03-22-Base (complete)1734511SAT 0.379942 0.3804
HydraSAT-Multi 2009-03-22-Multi (complete)1734509SAT 0.38794 0.387404
HydraSAT-Flat 2009-03-22-Flat (complete)1734510SAT 0.396939 0.397587
IUT_BMB_SAT 1.0 (complete)1734514SAT 0.554915 0.556472
kw 2009-03-20 (complete)1734492SAT 0.569912 0.570069
SAT4J CORE 2.1 RC1 (complete)1734491SAT 0.58791 0.473379
march_hi hi (complete)1734512SAT 0.633903 0.634177
march_nn nn (complete)1734513SAT 0.671896 0.673067
SAT07 reference solver: SATzilla CRAFTED (complete)1594901SAT 5.03123 5.03366
SATzilla2009_C 2009-03-22 (complete)1734516SAT 5.17821 5.1804
SAT07 reference solver: March KS 2007-02-08 (complete)1595790SAT 10.2784 10.2842
VARSAT-random 2009-03-22 (complete)1734527SAT 20.2429 20.2494

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 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777
-778 -779 -780 -781 782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805
-806 -807 -808 -809 -810 811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833
-834 -835 -836 -837 -838 -839 -840  0