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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
MD5SUMe81ed5c11d3bffdd04a2753974045769
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gnovelty+2-H 2009-03-22 (incomplete)1529149SAT 0.007998 0.00962112
gnovelty+2 2009-03-22 (incomplete)1529150SAT 0.008998 0.00951006
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546160SAT 0.009997 0.0106099
NCVWr 2009-03-22 (incomplete)1524019SAT 0.009997 0.00972109
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543245SAT 0.009998 0.00973109
iPAWS 2009-03-22 (incomplete)1522342SAT 0.009998 0.0105611
SATzilla2009_R 2009-03-22 (complete)1539872SAT 0.010997 0.0106541
TNM 2009-03-22 (incomplete)1524020SAT 0.011997 0.0126039
Hybrid2 2009-03-22 (incomplete)1524018SAT 0.011997 0.0118649
adaptg2wsat2009 2009-03-23 (incomplete)1534817SAT 0.013997 0.0144189
adaptg2wsat2009++ 2009-03-23 (incomplete)1534818SAT 0.019996 0.021023
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546159SAT 0.020996 0.021046
gNovelty+-V.2-T 2009-03-22 (incomplete)1543246SAT 0.020996 0.015093
MoRsat 2009-03-03 (complete)1521772SAT 0.022996 0.0231959
hybridGM3 3 (incomplete)1543242SAT 0.037993 0.0382651
hybridGM 1 (incomplete)1543241SAT 0.047992 0.0487339
hybridGM7 7 (incomplete)1543243SAT 0.050991 0.0510661
SAT07 reference solver: SATzilla RANDOM (complete)1545019SAT 0.146976 0.147355
SATzilla2009_C 2009-03-22 (complete)1539873SAT 0.147976 0.148352
march_hi hi (complete)1519129SAT 0.154976 0.155611
gnovelty+ 2009-03-22 (incomplete)1529148SAT 0.168973 0.169172
gNovelty+-T 2009-03-22 (incomplete)1543244SAT 0.173972 0.160597
march_nn nn (complete)1519130SAT 0.229964 0.230255
SAT07 reference solver: March KS 2007-02-08 (complete)1545020SAT 0.508922 0.509396
slstc 1.0 (incomplete)1519134SAT 3.24551 3.247
CSat 2009-03-22 (complete)1521202SAT 11.4863 11.4888
clasp 1.2.0-SAT09-32 (complete)1519128SAT 12.2031 12.2081
MXC 2009-03-10 (complete)1519125SAT 20.7438 20.7521
VARSAT-random 2009-03-22 (complete)1519133SAT 20.7458 20.753
picosat 913 (complete)1519126SAT 63.1674 63.1842
VARSAT-industrial 2009-03-22 (complete)1519132SAT 76.2694 76.2941
VARSAT-crafted 2009-03-22 (complete)1519131SAT 104.619 104.656
LySAT c/2009-03-20 (complete)1527405SAT 156.832 156.91
IUT_BMB_SAT 1.0 (complete)1534816SAT 161.601 161.673
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520616SAT 263.133 263.203
SApperloT base (complete)1534814SAT 265.054 265.121
precosat 236 (complete)1519127SAT 353.91 354.013
minisat_cumr p-2009-03-18 (complete)1833547SAT 400.921 401.239
satake 2009-03-22 (complete)1543896SAT 680.241 390.661
glucose 1.0 (complete)1519124SAT 778.589 778.855
ttsth-5-0 2009-03-19 (complete)1532016? 1200 601.496
SATzilla2009_I 2009-03-22 (complete)1539874? (exit code) 1199.16 1199.73
HydraSAT-Flat 2009-03-22-Flat (complete)1530859? (TO) 1200.02 1200.31
HydraSAT 2009-03-22-Base (complete)1530860? (TO) 1200.03 1200.32
HydraSAT-Multi 2009-03-22-Multi (complete)1530858? (TO) 1200.04 1200.61
LySAT i/2009-03-20 (complete)1527404? (TO) 1200.05 1200.71
CircUs 2009-03-23 (complete)1524622? (TO) 1200.07 1200.51
kw 2009-03-20 (complete)1520615? (TO) 1200.08 1200.52
Rsat 2009-03-22 (complete)1538196? (TO) 1200.08 1200.71
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527408? (TO) 1200.09 601.419
MiniSAT 09z 2009-03-22 (complete)1833548? (TO) 1200.1 1200.81
SApperloT hrp (complete)1534815? (TO) 1200.11 1200.46
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527406? (TO) 1200.11 601.521
tts tts-5-0 (complete)1532015? (TO) 1200.13 1200.56
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527407? (TO) 1200.19 601.725
SAT4J CORE 2.1 RC1 (complete)1519123? (TO) 1200.3 1200.05

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 0