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-S1841979702-078.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
MD5SUM53069fa4d3b9f0f792df2e9bdae5662b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.021995
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
adaptg2wsat2009 2009-03-23 (incomplete)1534842SAT 0.021995 0.022064
adaptg2wsat2009++ 2009-03-23 (incomplete)1534843SAT 0.028994 0.029059
SATzilla2009_R 2009-03-22 (complete)1539887SAT 0.030994 0.0308321
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546169SAT 0.031995 0.032141
gnovelty+2-H 2009-03-22 (incomplete)1529164SAT 0.036993 0.0386911
hybridGM7 7 (incomplete)1543273SAT 0.044992 0.0453039
gnovelty+2 2009-03-22 (incomplete)1529165SAT 0.045992 0.044661
TNM 2009-03-22 (incomplete)1524035SAT 0.049991 0.050482
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543275SAT 0.050991 0.030086
hybridGM 1 (incomplete)1543271SAT 0.051991 0.052704
iPAWS 2009-03-22 (incomplete)1522347SAT 0.05899 0.059854
gNovelty+-V.2-T 2009-03-22 (incomplete)1543276SAT 0.06099 0.033882
hybridGM3 3 (incomplete)1543272SAT 0.074988 0.075621
MoRsat 2009-03-03 (complete)1521777SAT 0.080986 0.081256
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546170SAT 0.155975 0.15667
gnovelty+ 2009-03-22 (incomplete)1529163SAT 0.179971 0.180895
Hybrid2 2009-03-22 (incomplete)1524033SAT 0.179972 0.180602
gNovelty+-T 2009-03-22 (incomplete)1543274SAT 0.235963 0.1916
NCVWr 2009-03-22 (incomplete)1524034SAT 0.618905 0.619703
VARSAT-crafted 2009-03-22 (complete)1519191SAT 0.627903 0.628303
SAT07 reference solver: SATzilla RANDOM (complete)1545029SAT 2.69559 2.69624
SATzilla2009_C 2009-03-22 (complete)1539888SAT 2.71559 2.71734
SAT07 reference solver: March KS 2007-02-08 (complete)1545030SAT 3.74543 3.74727
march_nn nn (complete)1519190SAT 10.3104 10.3138
march_hi hi (complete)1519189SAT 11.9852 11.9887
LySAT c/2009-03-20 (complete)1527430SAT 13.8769 13.8817
SATzilla2009_I 2009-03-22 (complete)1539889SAT 22.0187 22.0331
IUT_BMB_SAT 1.0 (complete)1534841SAT 31.0053 31.0168
clasp 1.2.0-SAT09-32 (complete)1519188SAT 102.444 102.474
VARSAT-random 2009-03-22 (complete)1519193SAT 125.347 125.385
HydraSAT-Flat 2009-03-22-Flat (complete)1530874SAT 181.604 181.668
VARSAT-industrial 2009-03-22 (complete)1519192SAT 218.766 218.817
picosat 913 (complete)1519186SAT 247.61 247.701
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520626SAT 346.967 347.068
glucose 1.0 (complete)1519184SAT 473.534 473.735
MXC 2009-03-10 (complete)1519185SAT 687.841 688.026
SApperloT base (complete)1534839SAT 855.476 855.724
minisat_cumr p-2009-03-18 (complete)1833557SAT 1108.41 1108.89
precosat 236 (complete)1519187SAT 1131.34 1131.63
satake 2009-03-22 (complete)1543901SAT 1191.34 687.533
slstc 1.0 (incomplete)1519194? (TO) 1200.02 1200.31
CircUs 2009-03-23 (complete)1524627? (TO) 1200.04 1200.41
HydraSAT 2009-03-22-Base (complete)1530875? (TO) 1200.04 1200.32
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527433? (TO) 1200.04 601.418
Rsat 2009-03-22 (complete)1538201? (TO) 1200.05 1200.31
LySAT i/2009-03-20 (complete)1527429? (TO) 1200.06 1200.71
MiniSAT 09z 2009-03-22 (complete)1833558? (TO) 1200.07 1200.61
kw 2009-03-20 (complete)1520625? (TO) 1200.07 1200.52
SApperloT hrp (complete)1534840? (TO) 1200.08 1200.43
CSat 2009-03-22 (complete)1521207? (TO) 1200.11 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1530873? (TO) 1200.12 1200.61
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527431? (TO) 1200.13 601.419
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527432? (TO) 1200.13 601.422
tts tts-5-0 (complete)1532025? (TO) 1200.14 1200.59
ttsth-5-0 2009-03-19 (complete)1532026? (TO) 1200.23 601.617
SAT4J CORE 2.1 RC1 (complete)1519183? (TO) 1200.33 1200.46

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