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

Result page for benchmark
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
MD5SUMa888f7c11818f92eb0f40bc8ce26728a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003998
Satisfiable
(Un)Satisfiability was proved
Number of variables340
Number of clauses5967
Sum of the clauses size12240
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25950
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT hrp (complete)1734201SAT 0.003998 0.005118
picosat 913 (complete)1734197SAT 0.003999 0.00514309
SApperloT base (complete)1734200SAT 0.004998 0.00506405
CircUs 2009-03-23 (complete)1734231SAT 0.008998 0.010184
SATzilla2009_R 2009-03-22 (complete)1734215SAT 0.012997 0.013225
iPAWS 2009-03-22 (incomplete)1734207SAT 0.013997 0.014213
TNM 2009-03-22 (incomplete)1734220SAT 0.013997 0.014256
Hybrid2 2009-03-22 (incomplete)1734218SAT 0.015996 0.0151091
gnovelty+2-H 2009-03-22 (incomplete)1734234SAT 0.015997 0.016202
gnovelty+2 2009-03-22 (incomplete)1734235SAT 0.015997 0.0156941
NCVWr 2009-03-22 (incomplete)1734219SAT 0.016996 0.016103
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734238SAT 0.016996 0.0185471
gNovelty+-V.2-T 2009-03-22 (incomplete)1734239SAT 0.016997 0.0167849
adaptg2wsat2009 2009-03-23 (incomplete)1734229SAT 0.019996 0.019804
MoRsat 2009-03-03 (complete)1734193SAT 0.019996 0.020558
clasp 1.2.0-SAT09-32 (complete)1734199SAT 0.019996 0.0201071
CSat 2009-03-22 (complete)1734208SAT 0.019996 0.0207481
adaptg2wsat2009++ 2009-03-23 (incomplete)1734230SAT 0.019996 0.0219121
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734233SAT 0.021995 0.022341
slstc 1.0 (incomplete)1734228SAT 0.022995 0.0233521
glucose 1.0 (complete)1734194SAT 0.024995 0.025753
Rsat 2009-03-22 (complete)1734232SAT 0.024996 0.025868
LySAT i/2009-03-20 (complete)1734202SAT 0.025995 0.027896
SATzilla2009_I 2009-03-22 (complete)1734217SAT 0.026995 0.026959
MXC 2009-03-10 (complete)1734195SAT 0.026995 0.027072
LySAT c/2009-03-20 (complete)1734203SAT 0.027995 0.0274821
minisat_cumr p-2009-03-18 (complete)1834065SAT 0.029994 0.029685
MiniSAT 09z 2009-03-22 (complete)1834066SAT 0.029995 0.0295021
SAT07 reference solver: minisat SAT 2007 (complete)1594804SAT 0.031994 0.0328239
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734205SAT 0.032994 0.0326449
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734206SAT 0.032994 0.0331211
VARSAT-industrial 2009-03-22 (complete)1734226SAT 0.033993 0.0341699
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734204SAT 0.033994 0.0333559
VARSAT-crafted 2009-03-22 (complete)1734225SAT 0.035993 0.0364661
hybridGM7 7 (incomplete)1734223SAT 0.037993 0.038138
hybridGM 1 (incomplete)1734221SAT 0.037994 0.038257
hybridGM3 3 (incomplete)1734222SAT 0.038993 0.040097
HydraSAT 2009-03-22-Base (complete)1734211SAT 0.051991 0.051825
HydraSAT-Multi 2009-03-22-Multi (complete)1734209SAT 0.052991 0.053366
HydraSAT-Flat 2009-03-22-Flat (complete)1734210SAT 0.05399 0.0541629
precosat 236 (complete)1734198SAT 0.071988 0.0728329
kw 2009-03-20 (complete)1734192SAT 0.085986 0.086131
tts tts-5-0 (complete)1734196SAT 0.115981 0.115895
IUT_BMB_SAT 1.0 (complete)1734214SAT 0.12398 0.122491
ttsth-5-0 2009-03-19 (complete)1734236SAT 0.12598 0.125566
gNovelty+-T 2009-03-22 (incomplete)1734237SAT 0.141978 0.142509
gnovelty+ 2009-03-22 (incomplete)1734224SAT 0.161974 0.16265
march_nn nn (complete)1734213SAT 0.165973 0.166589
march_hi hi (complete)1734212SAT 0.176973 0.176976
SAT4J CORE 2.1 RC1 (complete)1734191SAT 0.425934 0.362337
VARSAT-random 2009-03-22 (complete)1734227SAT 0.704892 0.70565
SAT07 reference solver: March KS 2007-02-08 (complete)1595742SAT 0.953854 0.958117
SAT07 reference solver: SATzilla CRAFTED (complete)1594805SAT 5.01124 5.01382
SATzilla2009_C 2009-03-22 (complete)1734216SAT 9.91924 5.03049
satake 2009-03-22 (complete)1734240No Cert. 0.018996 0.0138811

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  0