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

Result page for benchmark
industrial/grieu/
vmpc_30.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.2082
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
HydraSAT 2009-03-22-Base (complete)1718405SAT 18.2082 18.2126
SATzilla2009_C 2009-03-22 (complete)1718410SAT 53.6148 53.666
CircUs 2009-03-23 (complete)1718425SAT 60.3508 60.3679
LySAT i/2009-03-20 (complete)1718396SAT 92.5539 92.6137
clasp 1.2.0-SAT09-32 (complete)1718393SAT 159.219 159.26
precosat 236 (complete)1718392SAT 249.242 249.335
Rsat 2009-03-22 (complete)1718426SAT 426.395 426.535
SAT07 reference solver: picosat 535 (complete)1718436SAT 460.604 460.732
SATzilla2009_I 2009-03-22 (complete)1718411SAT 551.707 551.871
slstc 1.0 (incomplete)1718422SAT 816.835 817.077
picosat 913 (complete)1718391SAT 975.559 976.057
hybridGM3 3 (incomplete)1718416SAT 1003.91 1004.3
VARSAT-industrial 2009-03-22 (complete)1718420SAT 1025.34 1025.59
MiniSat 2.1 (Sat-race'08 Edition) (complete)1718427SAT 1114.92 1115.2
SATzilla2009_R 2009-03-22 (complete)1718409? (exit code) 1199.42 1199.94
tts tts-5-0 (complete)1718390? (MO) 1004.12 1004.5
ttsth-5-0 2009-03-19 (complete)1718430? (MO) 1139.46 572.577
gnovelty+2 2009-03-22 (incomplete)1718429? (TO) 1200.02 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1718403? (TO) 1200.02 1200.41
hybridGM 1 (incomplete)1718415? (TO) 1200.03 1199.91
HydraSAT-Flat 2009-03-22-Flat (complete)1718404? (TO) 1200.03 1200.32
IUT_BMB_SAT 1.0 (complete)1718408? (TO) 1200.04 1200.42
minisat_cumr p-2009-03-18 (complete)1832103? (TO) 1200.04 1200.71
glucose 1.0 (complete)1718388? (TO) 1200.06 1200.41
SApperloT base (complete)1718394? (TO) 1200.06 1200.52
TNM 2009-03-22 (incomplete)1718414? (TO) 1200.06 1200.41
satake 2009-03-22 (complete)1718434? (TO) 1200.07 601.342
MoRsat 2009-03-03 (complete)1718387? (TO) 1200.07 1200.52
gnovelty+ 2009-03-22 (incomplete)1718418? (TO) 1200.07 1200.42
adaptg2wsat2009++ 2009-03-23 (incomplete)1718424? (TO) 1200.07 1200.41
hybridGM7 7 (incomplete)1718417? (TO) 1200.07 1200.51
iPAWS 2009-03-22 (incomplete)1718401? (TO) 1200.08 1200.51
Hybrid2 2009-03-22 (incomplete)1718412? (TO) 1200.08 1200.41
ManySAT 1.1 aimd 2/2009-03-20 (complete)1718400? (TO) 1200.08 601.724
VARSAT-random 2009-03-22 (complete)1718421? (TO) 1200.08 1200.43
gNovelty+-T 2009-03-22 (incomplete)1718431? (TO) 1200.08 601.528
ManySAT 1.1 aimd 1/2009-03-20 (complete)1718399? (TO) 1200.08 601.721
LySAT c/2009-03-20 (complete)1718397? (TO) 1200.08 1200.71
MiniSAT 09z 2009-03-22 (complete)1832104? (TO) 1200.08 1200.51
VARSAT-crafted 2009-03-22 (complete)1718419? (TO) 1200.09 1200.53
gnovelty+2-H 2009-03-22 (incomplete)1718428? (TO) 1200.09 1200.41
gNovelty+-V.2-T 2009-03-22 (incomplete)1718433? (TO) 1200.09 601.62
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1718432? (TO) 1200.1 601.619
NCVWr 2009-03-22 (incomplete)1718413? (TO) 1200.1 1200.41
SAT07 reference solver: Rsat 2007-02-08 (complete)1718435? (TO) 1200.1 1200.71
CSat 2009-03-22 (complete)1718402? (TO) 1200.1 1200.52
march_hi hi (complete)1718406? (TO) 1200.11 1200.46
MXC 2009-03-10 (complete)1718389? (TO) 1200.11 1200.43
adaptg2wsat2009 2009-03-23 (incomplete)1718423? (TO) 1200.11 1200.51
SApperloT hrp (complete)1718395? (TO) 1200.12 1200.44
kw 2009-03-20 (complete)1718386? (TO) 1200.12 1200.44
march_nn nn (complete)1718407? (TO) 1200.16 1200.46
ManySAT 1.1 aimd 0/2009-03-20 (complete)1718398? (TO) 1200.19 601.724
SAT4J CORE 2.1 RC1 (complete)1718385? (TO) 1200.28 1199.65

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 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 -862
-863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 884 -885 -886 -887 -888 -889 -890
-891 -892 -893 -894 -895 -896 -897 -898 -899 -900 0