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

Result page for benchmark
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
MD5SUM7978035feeedb8c4f26fadad2c608014
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of clauses1530
Sum of the clauses size4590
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31530
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
iPAWS 2009-03-22 (incomplete)1522350SAT 0.014997 0.01564
TNM 2009-03-22 (incomplete)1524044SAT 0.016996 0.0162419
MoRsat 2009-03-03 (complete)1521780SAT 0.016997 0.0174339
gnovelty+2 2009-03-22 (incomplete)1529174SAT 0.020996 0.0218311
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1543293SAT 0.028995 0.0170199
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1546175SAT 0.032994 0.0332651
hybridGM3 3 (incomplete)1543290SAT 0.043992 0.0433619
SATzilla2009_R 2009-03-22 (complete)1539896SAT 0.048992 0.0488911
gnovelty+2-H 2009-03-22 (incomplete)1529173SAT 0.062989 0.0621551
hybridGM 1 (incomplete)1543289SAT 0.066989 0.067348
hybridGM7 7 (incomplete)1543291SAT 0.071988 0.0730949
adaptg2wsat2009++ 2009-03-23 (incomplete)1534858SAT 0.094984 0.0957579
gNovelty+-V.2-T 2009-03-22 (incomplete)1543294SAT 0.104983 0.0561039
Hybrid2 2009-03-22 (incomplete)1524042SAT 0.12698 0.127617
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1546176SAT 0.167973 0.169102
gNovelty+-T 2009-03-22 (incomplete)1543292SAT 0.19097 0.166613
adaptg2wsat2009 2009-03-23 (incomplete)1534857SAT 0.194969 0.193654
NCVWr 2009-03-22 (incomplete)1524043SAT 0.202968 0.203374
march_hi hi (complete)1519225SAT 0.557914 0.559268
gnovelty+ 2009-03-22 (incomplete)1529172SAT 0.78288 0.78337
SATzilla2009_C 2009-03-22 (complete)1539897SAT 0.843871 0.843651
SAT07 reference solver: SATzilla RANDOM (complete)1545035SAT 0.84787 0.847846
SAT07 reference solver: March KS 2007-02-08 (complete)1545036SAT 1.71874 1.71948
march_nn nn (complete)1519226SAT 5.38018 5.38347
SApperloT hrp (complete)1534855SAT 14.9307 14.9358
VARSAT-crafted 2009-03-22 (complete)1519227SAT 16.7844 16.7894
SATzilla2009_I 2009-03-22 (complete)1539898SAT 20.1629 20.1887
picosat 913 (complete)1519222SAT 33.5549 33.5645
IUT_BMB_SAT 1.0 (complete)1534856SAT 50.2934 50.314
HydraSAT-Multi 2009-03-22-Multi (complete)1530882SAT 51.2372 51.2609
clasp 1.2.0-SAT09-32 (complete)1519224SAT 77.1703 77.2085
glucose 1.0 (complete)1519220SAT 86.6248 86.6514
LySAT c/2009-03-20 (complete)1527445SAT 130.178 130.217
VARSAT-industrial 2009-03-22 (complete)1519228SAT 162.236 162.284
VARSAT-random 2009-03-22 (complete)1519229SAT 165.005 165.06
SApperloT base (complete)1534854SAT 176.23 176.28
minisat_cumr p-2009-03-18 (complete)1833563SAT 238.524 238.754
MXC 2009-03-10 (complete)1519221SAT 239.889 239.992
MiniSat 2.1 (Sat-race'08 Edition) (complete)1520632SAT 361.761 361.859
satake 2009-03-22 (complete)1543904SAT 493.644 290.316
precosat 236 (complete)1519223SAT 757.845 758.082
ManySAT 1.1 aimd 0/2009-03-20 (complete)1527446SAT 1043.05 523.979
ManySAT 1.1 aimd 1/2009-03-20 (complete)1527447SAT 1157.37 580.004
LySAT i/2009-03-20 (complete)1527444? (TO) 1200.04 1200.61
slstc 1.0 (incomplete)1519230? (TO) 1200.05 1200.51
Rsat 2009-03-22 (complete)1538204? (TO) 1200.06 1200.42
kw 2009-03-20 (complete)1520631? (TO) 1200.07 1200.43
HydraSAT-Flat 2009-03-22-Flat (complete)1530883? (TO) 1200.07 1200.42
MiniSAT 09z 2009-03-22 (complete)1833564? (TO) 1200.11 1200.61
CircUs 2009-03-23 (complete)1524630? (TO) 1200.11 1200.41
HydraSAT 2009-03-22-Base (complete)1530884? (TO) 1200.11 1200.41
CSat 2009-03-22 (complete)1521210? (TO) 1200.12 1200.41
ManySAT 1.1 aimd 2/2009-03-20 (complete)1527448? (TO) 1200.19 601.52
tts tts-5-0 (complete)1532031? (TO) 1200.2 1200.52
ttsth-5-0 2009-03-19 (complete)1532032? (TO) 1200.24 601.638
SAT4J CORE 2.1 RC1 (complete)1519219? (TO) 1200.28 1200.15

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 0