| Name | mus/marques-silva/design-debugging/ dividers3.dimacs.filtered.cnf |
| MD5SUM | 8b513e42d2137fd9261621b9ea72caad |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.236963 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 45552 |
| Number of clauses | 162922 |
| Sum of the clauses size | 428066 |
| Maximum clause length | 4 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 378 |
| Number of clauses of size 2 | 63700 |
| Number of clauses of size 3 | 95088 |
| Number of clauses of size 4 | 3756 |
| 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) | 3495887 | UNSAT | 0.236963 | 0.23798 |
| Haifa-MUC 2011-04-07 (complete) | 3494687 | UNSAT | 0.795878 | 0.796833 |
| MUSer 2011-02-10 (complete) | 3481026 | UNSAT | 1.2778 | 1.29941 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494087 | UNSAT | 1.3398 | 1.3436 |
| Haifa-MUC 2011-04-07 (complete) | 3494387 | UNSAT | 7.09692 | 7.09825 |
| OptimuS p100_source (complete) | 3495287 | UNSAT | 13.7299 | 13.7313 |
| OptimuS a100_source (complete) | 3494987 | UNSAT | 15.6896 | 15.69 |
| PicoMUS 941 (complete) | 3483697 | UNSAT | 18.4792 | 18.4998 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483097 | UNSAT | 18.9271 | 18.0157 |
| MiniUnsat2 2011-02-22 (complete) | 3483397 | UNSAT | 27.1719 | 27.1757 |
| OptimuS x100_source (complete) | 3495587 | UNSAT | 56.4814 | 56.4814 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:60223 60600 60746 70936 70940 70979 70981 71749 71790 72946 72948 73001 73372 73518 83810 124058 124060 124113 124460 124606 129457 129461 83814 83853 83855 84623 84664 85724 85726 85779 86144 86290 96684 96688 96727 96729 97497 97538 98502 98504 98557 58875 58916 60168 60170 129502 129546 136890 136894 136898 137232 137378 149109 149113 149214 149318 150150 98916 99062 109558 109562 109601 109603 110371 110412 111280 111282 111335 111688 111834 116674 116676 122432 122436 123245 123286 2767 3360 3373 3617 4242 4255 4467 5124 5137 5317 6006 6019 6167 6888 6901 7017 7770 7783 7867 8 62 87 112 137 162 187 212 237 262 287 305 312 319 1154 1890 1937 2478 2491 34614 34667 35056 35202 45188 45192 45231 45233 46001 46042 47390 47392 47445 47828 47974 58062 58066 58105 58107 8652 8665 8717 9567 9606 21834 21836 21889 22303 22307 22348 22430 32314 32318 32357 32359 33127 33168 34612 0