| Name | SAT02/industrial/goldberg/ bmc1/23.shuffled.cnf |
| MD5SUM | 163a4fc9159b3614c3dfefc9d39bcb93 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.008998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 198 |
| Number of clauses | 474 |
| Sum of the clauses size | 1122 |
| Maximum clause length | 11 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 319 |
| Number of clauses of size 3 | 143 |
| Number of clauses of size 4 | 11 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| OptimuS x100_source (complete) | 3495378 | UNSAT | 0.008998 | 0.0144009 |
| OptimuS p100_source (complete) | 3495078 | UNSAT | 0.009997 | 0.010253 |
| Haifa-MUC 2011-04-07 (complete) | 3494478 | UNSAT | 0.010997 | 0.011032 |
| Haifa-MUC 2011-04-07 (complete) | 3494178 | UNSAT | 0.010997 | 0.010852 |
| MoUsSaka 2011-03-26 (complete) | 3495678 | UNSAT | 0.010998 | 0.0131771 |
| Haifa-MUC-A 2011-04-07 (complete) | 3493878 | UNSAT | 0.011997 | 0.011964 |
| MUSer 2011-02-10 (complete) | 3481154 | UNSAT | 0.015996 | 0.0180511 |
| OptimuS a100_source (complete) | 3494778 | UNSAT | 0.023996 | 0.0246129 |
| PicoMUS 941 (complete) | 3483515 | UNSAT | 0.039993 | 0.0458739 |
| MiniUnsat2 2011-02-22 (complete) | 3483215 | UNSAT | 0.210967 | 0.215502 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482915 | UNSAT | 1.01584 | 0.612404 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 4 5 9 11 13 18 19 23 27 33 34 36 37 38 39 41 42 45 46 48 49 51 54 55 56 59 60 61 63 64 66 68 69 70 71 72 74 75 79 82 83 87 88 89 90 92 95 96 97 98 105 106 107 109 114 115 117 120 124 125 129 130 132 133 135 136 139 142 143 145 147 148 149 151 153 158 159 160 161 166 169 171 173 174 178 179 180 183 186 191 192 193 194 198 200 201 203 207 212 214 215 216 220 226 227 229 232 233 238 240 241 244 246 247 248 249 252 253 265 268 269 270 272 273 280 283 284 285 286 287 288 289 291 294 295 296 297 298 299 303 310 311 313 314 315 318 321 323 324 325 327 329 330 331 332 334 336 339 341 342 343 344 346 348 351 353 355 356 361 364 368 369 372 373 375 376 378 381 382 387 388 389 390 392 394 400 401 407 408 409 413 414 416 417 420 424 426 428 431 432 434 438 439 440 442 446 447 448 450 451 453 455 456 458 459 461 462 469 473 474 0