| Name | mus/marques-silva/abstraction-refinement-intel/ edn_20259_8.cnf_0.39000000.unsat.cnf |
| MD5SUM | 0c379b296c9ccb9640c00d5ad981da4b |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.53461 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 686767 |
| Number of clauses | 2006878 |
| Sum of the clauses size | 4657811 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1762 |
| Number of clauses of size 2 | 1359299 |
| Number of clauses of size 3 | 645817 |
| 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) | 3495818 | UNSAT | 2.53461 | 2.53997 |
| Haifa-MUC 2011-04-07 (complete) | 3494318 | UNSAT | 7.70483 | 7.70581 |
| Haifa-MUC 2011-04-07 (complete) | 3494618 | UNSAT | 9.95649 | 9.9575 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494018 | UNSAT | 14.5658 | 14.5678 |
| MUSer 2011-02-10 (complete) | 3480936 | UNSAT | 15.4017 | 15.4068 |
| PicoMUS 941 (complete) | 3483607 | UNSAT | 202.709 | 202.707 |
| MiniUnsat2 2011-02-22 (complete) | 3483307 | UNSAT | 369.643 | 369.718 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483007 | UNSAT | 849.826 | 842.914 |
| OptimuS p100_source (complete) | 3495218 | ? (exit code) | 29.7125 | 29.746 |
| OptimuS a100_source (complete) | 3494918 | ? (exit code) | 29.7425 | 29.7792 |
| OptimuS x100_source (complete) | 3495518 | ? (exit code) | 29.9175 | 29.948 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1942926 1942923 1942922 1942916 1942914 1942911 1942910 1942909 1942903 1942900 1942899 1814519 1814513 1814255 1768954 1768951 1699855 1699854 1680332 1680329 1680326 1680322 1680321 1680317 2006872 2006871 2006869 2006867 2006865 2006863 2006861 1965639 1965626 1965225 1965217 1965215 1965213 1965211 1965209 1956197 1956195 1956193 1956182 1956180 1956178 1949098 1949097 1948956 1948955 1392864 1392860 1392856 1265078 1264887 1264882 1264880 1264872 1264867 1179105 1179102 1179097 1140017 1140005 1140002 1139998 926450 926448 926443 674391 674388 674383 436144 436142 436137 1680313 1680311 1680297 1680292 1505132 1504949 1504946 1504944 1504940 1504936 1504934 1504931 1504929 1504925 1504921 1448832 1431959 1431955 1431952 1403725 1403724 1392876 1392872 1392869 1392865 0