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

Result page for benchmark
industrial/grieu/
vmpc_28.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.9597
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1718635SAT 14.9597 14.9633
MXC 2009-03-10 (complete)1718597SAT 21.8647 21.8722
MiniSAT 09z 2009-03-22 (complete)1832112SAT 47.5748 47.5972
ManySAT 1.1 aimd 1/2009-03-20 (complete)1718607SAT 59.5459 30.0212
Rsat 2009-03-22 (complete)1718634SAT 64.4342 64.4812
MoRsat 2009-03-03 (complete)1718595SAT 104.472 104.515
SAT07 reference solver: Rsat 2007-02-08 (complete)1718643SAT 114.333 114.371
adaptg2wsat2009++ 2009-03-23 (incomplete)1718632SAT 142.689 142.724
clasp 1.2.0-SAT09-32 (complete)1718601SAT 144.526 144.569
CircUs 2009-03-23 (complete)1718633SAT 156.4 156.438
ManySAT 1.1 aimd 0/2009-03-20 (complete)1718606SAT 251.797 126.373
SAT07 reference solver: picosat 535 (complete)1718644SAT 263.469 263.563
Hybrid2 2009-03-22 (incomplete)1718620SAT 284.316 284.438
ManySAT 1.1 aimd 2/2009-03-20 (complete)1718608SAT 307.958 154.53
precosat 236 (complete)1718600SAT 447.192 447.363
SApperloT base (complete)1718602SAT 451.263 451.397
adaptg2wsat2009 2009-03-23 (incomplete)1718631SAT 453.364 453.541
NCVWr 2009-03-22 (incomplete)1718621SAT 511.376 511.526
picosat 913 (complete)1718599SAT 514.552 514.687
glucose 1.0 (complete)1718596SAT 716.281 716.213
VARSAT-crafted 2009-03-22 (complete)1718627SAT 886.969 887.23
SATzilla2009_I 2009-03-22 (complete)1718619SAT 948.837 949.289
SATzilla2009_R 2009-03-22 (complete)1718617? (exit code) 1199.1 1199.64
SATzilla2009_C 2009-03-22 (complete)1718618? (exit code) 1199.13 1199.69
tts tts-5-0 (complete)1718598? (MO) 1093.94 1094.29
LySAT c/2009-03-20 (complete)1718605? (TO) 1200.02 1200.61
gnovelty+ 2009-03-22 (incomplete)1718626? (TO) 1200.03 1200.42
CSat 2009-03-22 (complete)1718610? (TO) 1200.04 1200.62
hybridGM7 7 (incomplete)1718625? (TO) 1200.05 1200.51
TNM 2009-03-22 (incomplete)1718622? (TO) 1200.05 1200.51
gnovelty+2 2009-03-22 (incomplete)1718637? (TO) 1200.05 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1718611? (TO) 1200.08 1200.61
hybridGM 1 (incomplete)1718623? (TO) 1200.08 1200.51
hybridGM3 3 (incomplete)1718624? (TO) 1200.08 1200.41
iPAWS 2009-03-22 (incomplete)1718609? (TO) 1200.08 1200.51
IUT_BMB_SAT 1.0 (complete)1718616? (TO) 1200.08 1200.42
LySAT i/2009-03-20 (complete)1718604? (TO) 1200.08 1200.61
minisat_cumr p-2009-03-18 (complete)1832111? (TO) 1200.09 1200.71
VARSAT-industrial 2009-03-22 (complete)1718628? (TO) 1200.09 1200.52
slstc 1.0 (incomplete)1718630? (TO) 1200.09 1200.41
kw 2009-03-20 (complete)1718594? (TO) 1200.09 1200.44
VARSAT-random 2009-03-22 (complete)1718629? (TO) 1200.1 1200.42
gnovelty+2-H 2009-03-22 (incomplete)1718636? (TO) 1200.1 1200.41
SApperloT hrp (complete)1718603? (TO) 1200.11 1200.52
HydraSAT 2009-03-22-Base (complete)1718613? (TO) 1200.11 1200.42
gNovelty+-T 2009-03-22 (incomplete)1718639? (TO) 1200.11 601.529
march_hi hi (complete)1718614? (TO) 1200.11 1200.44
HydraSAT-Flat 2009-03-22-Flat (complete)1718612? (TO) 1200.11 1200.52
march_nn nn (complete)1718615? (TO) 1200.12 1200.54
satake 2009-03-22 (complete)1718642? (TO) 1200.13 601.435
gNovelty+-V.2-T 2009-03-22 (incomplete)1718641? (TO) 1200.19 601.617
ttsth-5-0 2009-03-19 (complete)1718638? (TO) 1200.28 602.761
SAT4J CORE 2.1 RC1 (complete)1718593? (TO) 1200.3 1199.86
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1718640Signal 44.0123 22.2929

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 0