| Name | mus/marques-silva/design-debugging/ fpu1-problem.dimacs_13.filtered.cnf |
| MD5SUM | 62e30f06f0ec82ff4732e3b1ed253ee9 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.370943 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 119246 |
| Number of clauses | 409139 |
| Sum of the clauses size | 1057341 |
| Maximum clause length | 4 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 907 |
| Number of clauses of size 2 | 174082 |
| Number of clauses of size 3 | 228330 |
| Number of clauses of size 4 | 5820 |
| 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) | 3495890 | UNSAT | 0.370943 | 0.372299 |
| Haifa-MUC 2011-04-07 (complete) | 3494390 | UNSAT | 1.22581 | 1.227 |
| Haifa-MUC 2011-04-07 (complete) | 3494690 | UNSAT | 1.50177 | 1.50281 |
| MUSer 2011-02-10 (complete) | 3481030 | UNSAT | 2.35564 | 2.35589 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494090 | UNSAT | 3.2895 | 3.2907 |
| PicoMUS 941 (complete) | 3483701 | UNSAT | 26.9489 | 26.9499 |
| MiniUnsat2 2011-02-22 (complete) | 3483401 | UNSAT | 37.5153 | 37.5167 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483101 | UNSAT | 55.4406 | 52.9503 |
| OptimuS p100_source (complete) | 3495290 | ? (exit code) | 12.1022 | 12.1226 |
| OptimuS x100_source (complete) | 3495590 | ? (exit code) | 12.1472 | 12.1488 |
| OptimuS a100_source (complete) | 3494990 | ? (exit code) | 12.2091 | 12.2095 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:232571 232547 232184 215514 215511 215508 215330 215327 215324 215273 215227 215213 215207 215033 215032 215029 214872 214801 214799 214786 214784 214775 214685 214683 214681 144902 264404 260694 241552 241549 240815 240554 240546 240543 240540 240538 240530 240470 240456 240452 240449 240445 240444 240439 240394 240391 240371 240366 238753 238749 238744 232661 232572 8121 8118 8115 8113 8059 8056 8054 5955 5940 4540 4510 3310 3306 3291 1805 1801 1788 300 296 285 73 72 70 69 3 1 144899 144896 144885 144882 144879 144876 144874 144800 144797 144795 144103 77915 77912 77909 77898 77895 77892 77889 77887 77823 77820 77818 77146 8141 8138 8135 8124 0