| Name | mus/marques-silva/design-debugging/ wb_conmax3.dimacs.filtered.cnf |
| MD5SUM | 70661d58e23d97579ff78155ba3338cb |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.988849 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 277950 |
| Number of clauses | 1221020 |
| Sum of the clauses size | 3429264 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 7116 |
| Number of clauses of size 2 | 219564 |
| Number of clauses of size 3 | 994340 |
| 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) | 3495908 | UNSAT | 0.988849 | 0.990864 |
| Haifa-MUC 2011-04-07 (complete) | 3494408 | UNSAT | 1.53977 | 1.53935 |
| Haifa-MUC 2011-04-07 (complete) | 3494708 | UNSAT | 2.44563 | 2.44681 |
| MUSer 2011-02-10 (complete) | 3481063 | UNSAT | 4.53531 | 4.5352 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494108 | UNSAT | 19.756 | 19.761 |
| PicoMUS 941 (complete) | 3483734 | UNSAT | 29.1026 | 29.1191 |
| OptimuS a100_source (complete) | 3495008 | UNSAT | 84.9331 | 84.942 |
| OptimuS p100_source (complete) | 3495308 | UNSAT | 89.8073 | 89.807 |
| OptimuS x100_source (complete) | 3495608 | UNSAT | 274.952 | 274.958 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483134 | UNSAT | 295.209 | 291.606 |
| MiniUnsat2 2011-02-22 (complete) | 3483434 | ? (TO) | 1800.07 | 1800.02 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1216665 1211762 1207568 1203374 1199180 1194986 1190792 1186598 1182404 1169301 1167977 1081300 1081294 1081288 1081282 1081276 1359 1288 1217 1146 1075 1004 933 862 198 0