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

Result page for benchmark
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
MD5SUMbfbc056027da766e2c6d0a572c928d4b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables725
Number of clauses18875
Sum of the clauses size38425
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 218850
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734601SAT 0.009997 0.00964389
SApperloT base (complete)1734600SAT 0.009997 0.00979008
picosat 913 (complete)1734597SAT 0.011998 0.0126161
iPAWS 2009-03-22 (incomplete)1734607SAT 0.028995 0.0288061
SATzilla2009_R 2009-03-22 (complete)1734615SAT 0.030995 0.0310141
CircUs 2009-03-23 (complete)1734631SAT 0.031994 0.032007
satake 2009-03-22 (complete)1734640SAT 0.035993 0.0235079
CSat 2009-03-22 (complete)1734608SAT 0.040992 0.0406019
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734633SAT 0.046992 0.047214
TNM 2009-03-22 (incomplete)1734620SAT 0.051991 0.0525851
NCVWr 2009-03-22 (incomplete)1734619SAT 0.052991 0.053792
hybridGM3 3 (incomplete)1734622SAT 0.054991 0.054848
hybridGM 1 (incomplete)1734621SAT 0.057991 0.0581029
hybridGM7 7 (incomplete)1734623SAT 0.05899 0.0578449
gnovelty+2 2009-03-22 (incomplete)1734635SAT 0.05899 0.0592351
Hybrid2 2009-03-22 (incomplete)1734618SAT 0.05899 0.0576729
gnovelty+2-H 2009-03-22 (incomplete)1734634SAT 0.061989 0.0625151
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734638SAT 0.06199 0.0594401
gNovelty+-V.2-T 2009-03-22 (incomplete)1734639SAT 0.065989 0.0619
MoRsat 2009-03-03 (complete)1734593SAT 0.067989 0.068389
glucose 1.0 (complete)1734594SAT 0.069989 0.0710749
clasp 1.2.0-SAT09-32 (complete)1734599SAT 0.070989 0.071204
adaptg2wsat2009++ 2009-03-23 (incomplete)1734630SAT 0.073988 0.073943
slstc 1.0 (incomplete)1734628SAT 0.073988 0.0744389
minisat_cumr p-2009-03-18 (complete)1834081SAT 0.074987 0.0766419
Rsat 2009-03-22 (complete)1734632SAT 0.074987 0.075205
MiniSAT 09z 2009-03-22 (complete)1834082SAT 0.074988 0.076061
adaptg2wsat2009 2009-03-23 (incomplete)1734629SAT 0.075988 0.075025
LySAT i/2009-03-20 (complete)1734602SAT 0.083986 0.0837429
LySAT c/2009-03-20 (complete)1734603SAT 0.086986 0.087203
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734605SAT 0.093985 0.093445
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734604SAT 0.095984 0.0968189
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734606SAT 0.098984 0.0957921
SATzilla2009_I 2009-03-22 (complete)1734617SAT 0.12698 0.128069
MXC 2009-03-10 (complete)1734595SAT 0.131979 0.132419
VARSAT-crafted 2009-03-22 (complete)1734625SAT 0.141977 0.143224
VARSAT-industrial 2009-03-22 (complete)1734626SAT 0.148977 0.149777
SAT07 reference solver: minisat SAT 2007 (complete)1594918SAT 0.156975 0.156982
gNovelty+-T 2009-03-22 (incomplete)1734637SAT 0.169974 0.168076
gnovelty+ 2009-03-22 (incomplete)1734624SAT 0.187971 0.188005
ttsth-5-0 2009-03-19 (complete)1734636SAT 0.234963 0.234666
tts tts-5-0 (complete)1734596SAT 0.240962 0.24132
HydraSAT 2009-03-22-Base (complete)1734611SAT 0.250961 0.250967
HydraSAT-Flat 2009-03-22-Flat (complete)1734610SAT 0.262959 0.264125
HydraSAT-Multi 2009-03-22-Multi (complete)1734609SAT 0.262959 0.263905
precosat 236 (complete)1734598SAT 0.304953 0.305936
kw 2009-03-20 (complete)1734592SAT 0.406937 0.407086
IUT_BMB_SAT 1.0 (complete)1734614SAT 0.427934 0.429019
march_nn nn (complete)1734613SAT 0.532918 0.532266
march_hi hi (complete)1734612SAT 0.572912 0.573553
SAT4J CORE 2.1 RC1 (complete)1734591SAT 0.591909 0.480462
SAT07 reference solver: SATzilla CRAFTED (complete)1594919SAT 5.02423 5.02661
SATzilla2009_C 2009-03-22 (complete)1734616SAT 5.12622 5.13297
SAT07 reference solver: March KS 2007-02-08 (complete)1595799SAT 6.85896 6.86144
VARSAT-random 2009-03-22 (complete)1734627SAT 11.6232 11.6256

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  0