Name | RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf |
MD5SUM | ed6fcf5f29f5b190db98674f0404abc2 |
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.12798 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of clauses | 1700 |
Sum of the clauses size | 5100 |
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 | 1700 |
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 |
---|---|---|---|---|
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1632913 | SAT | 0.12798 | 0.128507 |
hybridGM3 3 (incomplete) | 1627626 | SAT | 0.154976 | 0.155329 |
gnovelty+2 2009-03-22 (incomplete) | 1629863 | SAT | 0.158975 | 0.159904 |
gNovelty+-T 2009-03-22 (incomplete) | 1783420 | SAT | 0.174972 | 0.175848 |
SATzilla2009_R 2009-03-22 (complete) | 1630676 | SAT | 0.285955 | 0.285772 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1629862 | SAT | 0.343946 | 0.344789 |
iPAWS 2009-03-22 (incomplete) | 1631286 | SAT | 0.568912 | 0.57017 |
TNM 2009-03-22 (incomplete) | 1632912 | SAT | 1.08183 | 1.08292 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1632914 | SAT | 1.3408 | 1.34309 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626914 | SAT | 5.36218 | 5.36751 |
march_hi hi (complete) | 1628236 | SAT | 8.17376 | 8.17603 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626915 | SAT | 17.3384 | 17.35 |
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 -381 382 -383 384 385 -386 -387 388 389 390 -391 392 393 -394 -395 396 -397 398 -399 -400 0