Name | mus/marques-silva/abstraction-refinement-intel/ edn_20259_10.cnf_0.48000000.unsat.cnf |
MD5SUM | 7d84d9ba8c0371564469bdee41cdd8a0 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.77658 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 864479 |
Number of clauses | 2529120 |
Sum of the clauses size | 5870599 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1768 |
Number of clauses of size 2 | 1713225 |
Number of clauses of size 3 | 814127 |
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) | 3495817 | UNSAT | 2.77658 | 2.7777 |
Haifa-MUC 2011-04-07 (complete) | 3494317 | UNSAT | 27.7118 | 27.7126 |
Haifa-MUC 2011-04-07 (complete) | 3494617 | UNSAT | 28.6346 | 28.6356 |
MUSer 2011-02-10 (complete) | 3493251 | UNSAT | 41.1367 | 41.1363 |
Haifa-MUC-A 2011-04-07 (complete) | 3494017 | UNSAT | 43.1574 | 43.1595 |
PicoMUS 941 (complete) | 3493254 | UNSAT | 843.803 | 843.766 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493252 | UNSAT | 1156.32 | 1144.79 |
MiniUnsat2 2011-02-22 (complete) | 3493253 | UNSAT | 1775.73 | 1775.72 |
OptimuS p100_source (complete) | 3495217 | ? (exit code) | 38.7621 | 38.7612 |
OptimuS a100_source (complete) | 3494917 | ? (exit code) | 38.9431 | 38.9919 |
OptimuS x100_source (complete) | 3495517 | ? (exit code) | 39.574 | 39.5829 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1753083 1753079 1753075 1402306 1402319 1753069 1753068 1753064 1753060 2465648 2465650 2477575 2477573 2477558 2465667 2465669 1500031 1500041 1517947 1517951 1517955 1517957 1517962 1517966 1517970 1517972 1517975 2477556 1179055 1179101 2529109 2529107 2477041 2477039 1402313 1753073 1753085 1770991 1770996 1771004 1771006 1771011 1771202 1898980 1898984 1898988 1898989 1898993 1898996 1500036 1517961 2449044 2449045 2449051 2449054 2449055 2449058 2456599 2456600 2456602 2456773 2456774 2456776 2465642 2465644 2465646 1179059 1179062 1402310 2479882 2479996 2465661 2186453 2186456 2205978 2205979 2275075 2275078 2286908 2286913 2320637 2320379 2303780 2303775 2286919 2286914 1518159 1646122 2479977 2320643 2479958 2449023 2449024 2479939 2479920 2449027 2479901 2449028 2449034 2449037 2479806 2479825 2479844 2479863 2449042 2449039 2449038 1685229 1685226 1685221 1646141 1646127 2186421 2186416 2184914 2184912 2184614 2184612 2184608 2184606 2184603 2184302 2184300 2184297 2183996 2183994 2183991 2180843 2180839 2180837 2180833 2180831 2180828 2180825 2180822 2180818 2180816 2183690 2183688 2183685 2183384 2183382 2183379 2183078 2183076 2183073 2182772 2182770 2182767 2182466 2182464 2182461 2182160 2182158 2182155 2181854 2181852 2186450 2186446 2186445 2186441 2186437 2186435 2180858 2180854 2180852 2180849 2180846 2479787 2479768 2477571 2477554 2477049 2477037 2477035 2477033 2477031 2477029 2465665 2465663 2529112 2529111 2529105 2529103 2529101 2529099 2529097 2480015 2180812 2180810 2180807 2180804 2180801 2180797 2180795 2180791 2180789 2180786 2181849 2181548 2181546 2181543 2181536 2181533 2181530 2181526 2181191 2181189 2180891 2180889 2180870 2180867 2180864 2180860 1179054 1179051 1179046 926450 926448 926443 674391 674388 674383 436144 436142 436137 1500029 1500021 1500016 1449036 1432165 1432164 1432138 1432137 1432133 1432130 1432126 1432125 1432121 1432117 1432115 1432113 1432108 1402517 1402328 1402325 1402321 2180698 2180696 2180687 2180684 2180681 2180678 2180674 2180672 2180663 2180660 2180657 2180654 2180650 2180648 2180639 2180636 2180633 2180630 2180626 2180624 2180783 2180780 2180776 2180774 2180770 2180769 2180766 2180759 2180755 2180738 2180734 2180732 2180729 2180726 2180723 2180719 2180717 2180711 2180708 2180705 2180702 2011070 2011068 2011064 2011060 2011058 2011055 2011053 2011049 2011045 1954956 1938354 1938349 1938083 1938079 1938076 1932263 1932261 1932256 1909849 1909848 1899000 2180615 2180612 2180609 2180606 2180602 2180600 2180146 2180143 2180140 2180137 2180134 2180132 2180129 2180126 2180123 2180119 2180117 2180113 2180110 2011256 2011073 0