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

Result page for benchmark
industrial/grieu/
vmpc_25.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/grieu/
vmpc_25.cnf
MD5SUMc5b44b10975f50cd32d40650a6a22d18
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.47478
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1718341SAT 1.47478 1.47606
MiniSAT 09z 2009-03-22 (complete)1832102SAT 1.81572 1.81998
Rsat 2009-03-22 (complete)1718374SAT 1.9697 1.98661
TNM 2009-03-22 (incomplete)1718362SAT 3.98639 3.98827
MiniSat 2.1 (Sat-race'08 Edition) (complete)1718375SAT 4.42833 4.43017
IUT_BMB_SAT 1.0 (complete)1718356SAT 8.09377 8.10624
SAT07 reference solver: picosat 535 (complete)1718384SAT 11.5512 11.5546
kw 2009-03-20 (complete)1718334SAT 26.524 26.5325
CircUs 2009-03-23 (complete)1718373SAT 37.0584 37.0706
ManySAT 1.1 aimd 1/2009-03-20 (complete)1718347SAT 37.9452 19.133
SAT4J CORE 2.1 RC1 (complete)1718333SAT 38.7521 38.0625
SApperloT hrp (complete)1718343SAT 40.9768 40.9896
glucose 1.0 (complete)1718336SAT 42.8095 42.8388
VARSAT-crafted 2009-03-22 (complete)1718367SAT 43.4404 43.4527
VARSAT-industrial 2009-03-22 (complete)1718368SAT 45.1971 45.2112
ManySAT 1.1 aimd 2/2009-03-20 (complete)1718348SAT 48.3307 24.3433
ManySAT 1.1 aimd 0/2009-03-20 (complete)1718346SAT 48.4726 24.4127
SApperloT base (complete)1718342SAT 56.2304 56.2498
HydraSAT 2009-03-22-Base (complete)1718353SAT 60.3508 60.3713
SAT07 reference solver: Rsat 2007-02-08 (complete)1718383SAT 69.8204 69.8596
satake 2009-03-22 (complete)1718382SAT 81.8586 41.2034
MXC 2009-03-10 (complete)1718337SAT 87.7067 87.733
SATzilla2009_C 2009-03-22 (complete)1718358SAT 113.389 113.479
MoRsat 2009-03-03 (complete)1718335SAT 124.722 124.766
precosat 236 (complete)1718340SAT 126.848 126.886
LySAT i/2009-03-20 (complete)1718344SAT 132.615 132.685
SATzilla2009_I 2009-03-22 (complete)1718359SAT 136.326 136.415
picosat 913 (complete)1718339SAT 137.951 137.984
HydraSAT-Multi 2009-03-22-Multi (complete)1718351SAT 151.916 151.963
hybridGM7 7 (incomplete)1718365SAT 242.339 242.401
adaptg2wsat2009++ 2009-03-23 (incomplete)1718372SAT 268.614 268.686
LySAT c/2009-03-20 (complete)1718345SAT 293.425 293.55
HydraSAT-Flat 2009-03-22-Flat (complete)1718352SAT 307.225 307.315
minisat_cumr p-2009-03-18 (complete)1832101SAT 376.441 376.61
Hybrid2 2009-03-22 (incomplete)1718360SAT 469.163 469.302
VARSAT-random 2009-03-22 (complete)1718369SAT 508.456 508.602
SATzilla2009_R 2009-03-22 (complete)1718357SAT 518.956 519.207
slstc 1.0 (incomplete)1718370SAT 694.631 694.79
adaptg2wsat2009 2009-03-23 (incomplete)1718371SAT 757.854 758.083
iPAWS 2009-03-22 (incomplete)1718349SAT 1023.81 1024.1
gNovelty+-T 2009-03-22 (incomplete)1718379SAT 1035.41 518.986
NCVWr 2009-03-22 (incomplete)1718361SAT 1140.39 1140.73
gnovelty+ 2009-03-22 (incomplete)1718366SAT 1182.69 1183
march_nn nn (complete)1718355? (TO) 1200.05 1200.44
tts tts-5-0 (complete)1718338? (TO) 1200.06 1200.41
CSat 2009-03-22 (complete)1718350? (TO) 1200.07 1200.42
gnovelty+2-H 2009-03-22 (incomplete)1718376? (TO) 1200.08 1200.41
hybridGM 1 (incomplete)1718363? (TO) 1200.09 1200.41
gnovelty+2 2009-03-22 (incomplete)1718377? (TO) 1200.1 1200.51
hybridGM3 3 (incomplete)1718364? (TO) 1200.1 1200.51
march_hi hi (complete)1718354? (TO) 1200.12 1200.54
gNovelty+-V.2-T 2009-03-22 (incomplete)1718381? (TO) 1200.16 601.515
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1718380? (TO) 1200.17 601.513
ttsth-5-0 2009-03-19 (complete)1718378? (TO) 1200.37 602.308

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 0