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

Result page for benchmark
industrial/grieu/
vmpc_24.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/grieu/
vmpc_24.cnf
MD5SUMa69847fa52646cc8016cf4fd8e9d428a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.427934
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: Rsat 2007-02-08 (complete)1718539SAT 0.427934 0.428668
Rsat 2009-03-22 (complete)1718530SAT 1.03884 1.04003
SApperloT hrp (complete)1718499SAT 1.54077 1.54101
kw 2009-03-20 (complete)1718490SAT 3.47147 3.47274
ManySAT 1.1 aimd 1/2009-03-20 (complete)1718503SAT 3.63345 1.91677
CircUs 2009-03-23 (complete)1718529SAT 5.18221 5.18234
MiniSAT 09z 2009-03-22 (complete)1832108SAT 7.38788 7.39662
ManySAT 1.1 aimd 2/2009-03-20 (complete)1718504SAT 10.3134 5.26563
clasp 1.2.0-SAT09-32 (complete)1718497SAT 12.1961 12.2007
NCVWr 2009-03-22 (incomplete)1718517SAT 13.211 13.2142
adaptg2wsat2009++ 2009-03-23 (incomplete)1718528SAT 16.3675 16.373
ManySAT 1.1 aimd 0/2009-03-20 (complete)1718502SAT 17.8223 9.03196
MiniSat 2.1 (Sat-race'08 Edition) (complete)1718531SAT 20.1039 20.1093
MXC 2009-03-10 (complete)1718493SAT 26.8729 26.8838
slstc 1.0 (incomplete)1718526SAT 28.0677 28.0762
glucose 1.0 (complete)1718492SAT 28.8046 28.8411
hybridGM7 7 (incomplete)1718521SAT 31.9411 31.9496
Hybrid2 2009-03-22 (incomplete)1718516SAT 36.2145 36.2245
TNM 2009-03-22 (incomplete)1718518SAT 37.5973 37.6116
LySAT i/2009-03-20 (complete)1718500SAT 49.4245 49.4641
picosat 913 (complete)1718495SAT 52.1471 52.1656
gnovelty+ 2009-03-22 (incomplete)1718522SAT 52.465 52.4802
precosat 236 (complete)1718496SAT 61.3567 61.5161
SApperloT base (complete)1718498SAT 65.691 65.72
SAT07 reference solver: picosat 535 (complete)1718540SAT 68.2946 68.3143
minisat_cumr p-2009-03-18 (complete)1832107SAT 78.0261 78.0744
VARSAT-industrial 2009-03-22 (complete)1718524SAT 81.5796 81.6102
HydraSAT-Flat 2009-03-22-Flat (complete)1718508SAT 81.8416 81.8632
CSat 2009-03-22 (complete)1718506SAT 84.6081 84.6404
iPAWS 2009-03-22 (incomplete)1718505SAT 112.565 112.595
HydraSAT-Multi 2009-03-22-Multi (complete)1718507SAT 125.667 125.778
HydraSAT 2009-03-22-Base (complete)1718509SAT 142.567 142.621
MoRsat 2009-03-03 (complete)1718491SAT 149.256 149.297
IUT_BMB_SAT 1.0 (complete)1718512SAT 167.332 167.382
SATzilla2009_R 2009-03-22 (complete)1718513SAT 172.728 172.827
adaptg2wsat2009 2009-03-23 (incomplete)1718527SAT 182.593 182.686
SATzilla2009_I 2009-03-22 (complete)1718515SAT 186.583 186.688
VARSAT-crafted 2009-03-22 (complete)1718523SAT 187.476 187.528
hybridGM 1 (incomplete)1718519SAT 194.013 194.069
LySAT c/2009-03-20 (complete)1718501SAT 194.543 194.674
satake 2009-03-22 (complete)1718538SAT 223.243 112.035
gNovelty+-T 2009-03-22 (incomplete)1718535SAT 230.7 115.732
SAT4J CORE 2.1 RC1 (complete)1718489SAT 428.386 428.019
VARSAT-random 2009-03-22 (complete)1718525SAT 591.002 591.148
tts tts-5-0 (complete)1718494SAT 710.871 711.057
SATzilla2009_C 2009-03-22 (complete)1718514SAT 1103 1104.83
gnovelty+2 2009-03-22 (incomplete)1718533? (TO) 1200.05 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1718536? (TO) 1200.06 601.213
march_hi hi (complete)1718510? (TO) 1200.08 1200.43
hybridGM3 3 (incomplete)1718520? (TO) 1200.09 1200.41
march_nn nn (complete)1718511? (TO) 1200.1 1200.54
gnovelty+2-H 2009-03-22 (incomplete)1718532? (TO) 1200.11 1200.41
gNovelty+-V.2-T 2009-03-22 (incomplete)1718537? (TO) 1200.19 601.514
ttsth-5-0 2009-03-19 (complete)1718534? (TO) 1200.2 602.129

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 0