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

Result page for benchmark
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
MD5SUMca65dc6f2d2e9d0010a49b31db10b79e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables378
Number of clauses7011
Sum of the clauses size14364
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26993
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734351SAT 0.003999 0.00495792
SApperloT base (complete)1734350SAT 0.004998 0.00501305
picosat 913 (complete)1734347SAT 0.004999 0.00531809
CircUs 2009-03-23 (complete)1734381SAT 0.011998 0.0125319
satake 2009-03-22 (complete)1734390SAT 0.012997 0.012939
SATzilla2009_R 2009-03-22 (complete)1734365SAT 0.013997 0.0145469
iPAWS 2009-03-22 (incomplete)1734357SAT 0.014997 0.015457
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734383SAT 0.015997 0.0188701
TNM 2009-03-22 (incomplete)1734370SAT 0.017996 0.0175841
Hybrid2 2009-03-22 (incomplete)1734368SAT 0.018996 0.0188441
gnovelty+2 2009-03-22 (incomplete)1734385SAT 0.018996 0.0201161
gNovelty+-V.2-T 2009-03-22 (incomplete)1734389SAT 0.018997 0.019662
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734388SAT 0.019996 0.019033
NCVWr 2009-03-22 (incomplete)1734369SAT 0.019996 0.019074
gnovelty+2-H 2009-03-22 (incomplete)1734384SAT 0.019996 0.019887
CSat 2009-03-22 (complete)1734358SAT 0.021996 0.022452
adaptg2wsat2009++ 2009-03-23 (incomplete)1734380SAT 0.023995 0.025252
adaptg2wsat2009 2009-03-23 (incomplete)1734379SAT 0.024995 0.0236259
MoRsat 2009-03-03 (complete)1734343SAT 0.025995 0.0258251
clasp 1.2.0-SAT09-32 (complete)1734349SAT 0.026995 0.0256091
slstc 1.0 (incomplete)1734378SAT 0.027994 0.0285921
glucose 1.0 (complete)1734344SAT 0.027995 0.0292169
Rsat 2009-03-22 (complete)1734382SAT 0.028994 0.0300341
LySAT i/2009-03-20 (complete)1734352SAT 0.029995 0.0319129
LySAT c/2009-03-20 (complete)1734353SAT 0.030994 0.033102
SATzilla2009_I 2009-03-22 (complete)1734367SAT 0.030994 0.0319361
minisat_cumr p-2009-03-18 (complete)1834071SAT 0.031994 0.0335139
MiniSAT 09z 2009-03-22 (complete)1834072SAT 0.032994 0.051037
MXC 2009-03-10 (complete)1734345SAT 0.033993 0.03481
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734356SAT 0.036993 0.036926
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734354SAT 0.037993 0.038625
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734355SAT 0.037993 0.0385819
SAT07 reference solver: minisat SAT 2007 (complete)1594848SAT 0.038993 0.037511
hybridGM3 3 (incomplete)1734372SAT 0.040992 0.041021
hybridGM 1 (incomplete)1734371SAT 0.040992 0.0415951
hybridGM7 7 (incomplete)1734373SAT 0.040993 0.04115
VARSAT-crafted 2009-03-22 (complete)1734375SAT 0.041992 0.0424271
VARSAT-industrial 2009-03-22 (complete)1734376SAT 0.041992 0.041748
HydraSAT-Multi 2009-03-22-Multi (complete)1734359SAT 0.066989 0.066205
HydraSAT-Flat 2009-03-22-Flat (complete)1734360SAT 0.067988 0.068541
HydraSAT 2009-03-22-Base (complete)1734361SAT 0.067989 0.0687211
precosat 236 (complete)1734348SAT 0.086986 0.0879651
kw 2009-03-20 (complete)1734342SAT 0.107982 0.108841
tts tts-5-0 (complete)1734346SAT 0.139978 0.13962
IUT_BMB_SAT 1.0 (complete)1734364SAT 0.143977 0.143761
ttsth-5-0 2009-03-19 (complete)1734386SAT 0.149976 0.150085
gNovelty+-T 2009-03-22 (incomplete)1734387SAT 0.149977 0.149687
gnovelty+ 2009-03-22 (incomplete)1734374SAT 0.174973 0.174874
march_nn nn (complete)1734363SAT 0.224964 0.225887
march_hi hi (complete)1734362SAT 0.227964 0.227934
SAT4J CORE 2.1 RC1 (complete)1734341SAT 0.444931 0.356225
VARSAT-random 2009-03-22 (complete)1734377SAT 1.11183 1.11243
SAT07 reference solver: March KS 2007-02-08 (complete)1595764SAT 1.26781 1.26741
SAT07 reference solver: SATzilla CRAFTED (complete)1594849SAT 5.01124 5.01292
SATzilla2009_C 2009-03-22 (complete)1734366SAT 5.03423 5.03652

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  0