| Name | mus/marques-silva/design-debugging/ wb2.dimacs.filtered.cnf |
| MD5SUM | ab59ec4fa65bbed90b4d3e6e8e51dd79 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.017996 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 49490 |
| Number of clauses | 140056 |
| Sum of the clauses size | 329156 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 8496 |
| Number of clauses of size 2 | 74020 |
| Number of clauses of size 3 | 57540 |
| 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 |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495906 | UNSAT | 0.017996 | 0.0196459 |
| Haifa-MUC 2011-04-07 (complete) | 3494406 | UNSAT | 0.12498 | 0.1269 |
| Haifa-MUC 2011-04-07 (complete) | 3494706 | UNSAT | 0.203968 | 0.205655 |
| MUSer 2011-02-10 (complete) | 3493335 | UNSAT | 0.355945 | 0.360428 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494106 | UNSAT | 0.38994 | 0.390167 |
| MiniUnsat2 2011-02-22 (complete) | 3493337 | UNSAT | 0.467928 | 0.468487 |
| PicoMUS 941 (complete) | 3493338 | UNSAT | 1.16982 | 1.17169 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493336 | UNSAT | 2.04869 | 1.54269 |
| OptimuS a100_source (complete) | 3495006 | UNSAT | 11.0643 | 11.0657 |
| OptimuS p100_source (complete) | 3495306 | UNSAT | 11.9972 | 11.9977 |
| OptimuS x100_source (complete) | 3495606 | UNSAT | 30.7293 | 30.7317 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4189 16890 17052 0