| Name | mus/marques-silva/ atpg/bf1355-530.cnf |
| MD5SUM | 074f2e0dd76b4cd50035cdbccf302a37 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.007998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2296 |
| Number of clauses | 7305 |
| Sum of the clauses size | 18548 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 5 |
| Number of clauses of size 2 | 3932 |
| Number of clauses of size 3 | 2868 |
| 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) | 3495847 | UNSAT | 0.007998 | 0.00932896 |
| Haifa-MUC 2011-04-07 (complete) | 3494347 | UNSAT | 0.020995 | 0.021443 |
| Haifa-MUC 2011-04-07 (complete) | 3494647 | UNSAT | 0.022995 | 0.0247311 |
| MUSer 2011-02-10 (complete) | 3480971 | UNSAT | 0.035993 | 0.052045 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494047 | UNSAT | 0.041993 | 0.0432081 |
| PicoMUS 941 (complete) | 3483642 | UNSAT | 0.201968 | 0.201978 |
| MiniUnsat2 2011-02-22 (complete) | 3483342 | UNSAT | 0.442932 | 0.446729 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483042 | UNSAT | 1.62875 | 1.27756 |
| OptimuS p100_source (complete) | 3495247 | ? (exit code) | 0.041992 | 0.043116 |
| OptimuS x100_source (complete) | 3495547 | ? (exit code) | 0.041993 | 0.043667 |
| OptimuS a100_source (complete) | 3494947 | ? (exit code) | 0.041993 | 0.042602 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1962 4975 213 214 1954 4959 1937 1941 1938 1922 1919 1915 1927 1929 4920 4936 1964 1965 4950 4947 1931 4941 1918 1920 4924 1912 1914 1935 1953 3938 1936 1930 1926 1923 1955 1942 1939 4989 4980 212 215 4960 1796 1802 4937 1806 1810 1894 1900 4919 1903 1906 3944 1913 1921 4921 4938 1966 3949 3943 4 5 14 676 678 686 688 1798 1804 1805 1809 1812 1813 1895 1901 1904 1907 1928 1934 1950 1957 1963 0