Name | RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf |
MD5SUM | aea037edf2192f628decdd3193ff0d42 |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.007997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 380 |
Number of clauses | 1615 |
Sum of the clauses size | 4845 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 1615 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
TNM 2009-03-22 (incomplete) | 1633044 | SAT | 0.007997 | 0.00858807 |
gnovelty+2 2009-03-22 (incomplete) | 1629995 | SAT | 0.008997 | 0.00989401 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1629994 | SAT | 0.009997 | 0.010447 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1633046 | SAT | 0.014996 | 0.0147709 |
SATzilla2009_R 2009-03-22 (complete) | 1630720 | SAT | 0.021996 | 0.0227029 |
iPAWS 2009-03-22 (incomplete) | 1631330 | SAT | 0.025995 | 0.0262481 |
march_hi hi (complete) | 1628280 | SAT | 0.026995 | 0.0269281 |
hybridGM3 3 (incomplete) | 1627670 | SAT | 0.038993 | 0.0393229 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1633045 | SAT | 0.050991 | 0.0520441 |
gNovelty+-T 2009-03-22 (incomplete) | 1783464 | SAT | 0.152975 | 0.153237 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1627003 | SAT | 0.51792 | 0.518051 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1627002 | SAT | 5.00624 | 5.0094 |
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