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

Result page for benchmark
industrial/grieu/
vmpc_26.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/grieu/
vmpc_26.cnf
MD5SUM7e9eba7a609bdbcf7c3a7e0f5c07ab04
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.71152
Satisfiable
(Un)Satisfiability was proved
Number of variables676
Number of clauses86424
Sum of the clauses size226590
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 233878
Number of clauses of size 352494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 552

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
IUT_BMB_SAT 1.0 (complete)1718720SAT 9.71152 9.71429
LySAT i/2009-03-20 (complete)1718708SAT 16.0116 16.0271
ManySAT 1.1 aimd 0/2009-03-20 (complete)1718710SAT 17.6283 8.96314
HydraSAT 2009-03-22-Base (complete)1718717SAT 27.3858 27.3948
clasp 1.2.0-SAT09-32 (complete)1718705SAT 30.1714 30.1861
SApperloT hrp (complete)1718707SAT 38.2942 38.3085
precosat 236 (complete)1718704SAT 50.9333 50.949
MiniSAT 09z 2009-03-22 (complete)1832116SAT 58.1832 58.212
MiniSat 2.1 (Sat-race'08 Edition) (complete)1718739SAT 68.1676 68.1914
Rsat 2009-03-22 (complete)1718738SAT 73.9988 74.0312
glucose 1.0 (complete)1718700SAT 84.4312 84.4651
ManySAT 1.1 aimd 1/2009-03-20 (complete)1718711SAT 86.9338 43.7177
SATzilla2009_I 2009-03-22 (complete)1718723SAT 92.8139 92.8672
SAT07 reference solver: Rsat 2007-02-08 (complete)1718747SAT 95.5115 95.5419
SAT07 reference solver: picosat 535 (complete)1718748SAT 100.652 100.694
hybridGM7 7 (incomplete)1718729SAT 106.727 106.769
gNovelty+-T 2009-03-22 (incomplete)1718743SAT 122.868 61.7211
ManySAT 1.1 aimd 2/2009-03-20 (complete)1718712SAT 136.629 68.6407
SAT4J CORE 2.1 RC1 (complete)1718697SAT 138.824 138.266
kw 2009-03-20 (complete)1718698SAT 161.907 161.966
MXC 2009-03-10 (complete)1718701SAT 165.933 165.98
adaptg2wsat2009 2009-03-23 (incomplete)1718735SAT 173.564 173.613
minisat_cumr p-2009-03-18 (complete)1832115SAT 217.22 217.342
iPAWS 2009-03-22 (incomplete)1718713SAT 239.596 239.674
picosat 913 (complete)1718703SAT 253.526 253.587
SATzilla2009_C 2009-03-22 (complete)1718722SAT 256.834 257.014
SApperloT base (complete)1718706SAT 264.484 264.566
gnovelty+ 2009-03-22 (incomplete)1718730SAT 308.693 308.784
VARSAT-crafted 2009-03-22 (complete)1718731SAT 335.968 336.094
HydraSAT-Flat 2009-03-22-Flat (complete)1718716SAT 357.077 357.198
CircUs 2009-03-23 (complete)1718737SAT 370.941 371.06
slstc 1.0 (incomplete)1718734SAT 491.212 491.33
VARSAT-industrial 2009-03-22 (complete)1718732SAT 520.114 520.299
MoRsat 2009-03-03 (complete)1718699SAT 525.581 525.717
Hybrid2 2009-03-22 (incomplete)1718724SAT 575.133 575.289
adaptg2wsat2009++ 2009-03-23 (incomplete)1718736SAT 613.565 613.95
satake 2009-03-22 (complete)1718746SAT 719.703 360.736
SATzilla2009_R 2009-03-22 (complete)1718721SAT 784.31 784.839
HydraSAT-Multi 2009-03-22-Multi (complete)1718715SAT 1015.4 1015.91
TNM 2009-03-22 (incomplete)1718726SAT 1046.06 1046.36
LySAT c/2009-03-20 (complete)1718709SAT 1109.32 1109.79
gnovelty+2 2009-03-22 (incomplete)1718741? (TO) 1200.06 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1718740? (TO) 1200.07 1200.51
CSat 2009-03-22 (complete)1718714? (TO) 1200.07 1200.52
hybridGM3 3 (incomplete)1718728? (TO) 1200.08 1200.41
hybridGM 1 (incomplete)1718727? (TO) 1200.09 1200.51
VARSAT-random 2009-03-22 (complete)1718733? (TO) 1200.1 1200.42
NCVWr 2009-03-22 (incomplete)1718725? (TO) 1200.1 1200.41
march_nn nn (complete)1718719? (TO) 1200.13 1200.44
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1718744? (TO) 1200.13 601.515
march_hi hi (complete)1718718? (TO) 1200.14 1200.54
gNovelty+-V.2-T 2009-03-22 (incomplete)1718745? (TO) 1200.14 601.513
tts tts-5-0 (complete)1718702? (TO) 1200.31 1200.67
ttsth-5-0 2009-03-19 (complete)1718742? (TO) 1200.32 602.41

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 0