| Name | mus/marques-silva/ atpg/bf1355-466.cnf |
| MD5SUM | 00b16abeb859b4bf7da74e01efd7a824 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.010998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2293 |
| Number of clauses | 7295 |
| Sum of the clauses size | 18524 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 5 |
| Number of clauses of size 2 | 3926 |
| Number of clauses of size 3 | 2864 |
| Number of clauses of size 4 | 445 |
| Number of clauses of size 5 | 35 |
| Number of clauses of size over 5 | 20 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495846 | UNSAT | 0.010998 | 0.013435 |
| Haifa-MUC 2011-04-07 (complete) | 3494346 | UNSAT | 0.034993 | 0.0342471 |
| Haifa-MUC 2011-04-07 (complete) | 3494646 | UNSAT | 0.036993 | 0.037903 |
| MUSer 2011-02-10 (complete) | 3493299 | UNSAT | 0.052991 | 0.0555379 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494046 | UNSAT | 0.063989 | 0.0644809 |
| PicoMUS 941 (complete) | 3493302 | UNSAT | 0.353946 | 0.355931 |
| MiniUnsat2 2011-02-22 (complete) | 3493301 | UNSAT | 0.710891 | 0.712391 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493300 | UNSAT | 2.11268 | 1.45227 |
| OptimuS a100_source (complete) | 3494946 | ? (exit code) | 0.026995 | 0.028134 |
| OptimuS x100_source (complete) | 3495546 | ? (exit code) | 0.027995 | 0.028053 |
| OptimuS p100_source (complete) | 3495246 | ? (exit code) | 0.027995 | 0.030139 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1847 1850 1129 1130 1844 1840 1837 1841 1772 1131 1128 1814 4855 1799 1805 4865 4868 1815 1809 1813 1792 1794 4842 4839 1786 1800 4859 1798 4854 1797 4856 1808 1801 4838 1807 1793 1823 1821 4879 4893 4902 3938 1781 1783 4826 1782 4829 3932 1778 1775 1842 1618 1623 983 4737 1802 1791 1810 4837 4741 1617 1615 4891 4875 1836 1828 1830 986 4719 1785 1838 1839 1843 1832 4874 1822 1816 1806 4892 4713 4684 4721 1627 1626 985 1603 1596 4683 4699 1581 1589 1628 1625 4710 1597 4701 4687 1582 1602 1580 984 4750 4700 1560 1562 1571 1573 1595 1835 1601 1827 4896 4876 4905 1829 1587 1585 1588 1586 4704 1559 1561 1574 1824 1831 1572 1759 1757 3936 1763 1765 3942 774 772 764 762 12 5 4 1579 1590 1593 1594 1598 1604 1610 1620 4682 0