Name | gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf |
MD5SUM | 3ef4619cd70ae49780dd7d9335df55ac |
Bench Category | GMUS (GMUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9527 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 165723 |
Number of clauses | 475949 |
Sum of the clauses size | 1103761 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1637 |
Number of clauses of size 2 | 320812 |
Number of clauses of size 3 | 153500 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Number of groups | 3507 |
Number of clauses in the kernel (group 0) | 462354 |
Least number of clauses in a group (except group 0) | 1 |
Greatest number of clauses in a group (except group 0) | 6 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Haifa-HLMUC-A 2011-04-07 (complete) | 3501986 | UNSAT | 1.9527 | 1.95373 |
Haifa-HLMUC-A 2011-04-07 (complete) | 3501789 | UNSAT | 1.9777 | 1.98192 |
Haifa-HLMUC 2011-04-07 (complete) | 3501592 | UNSAT | 2.01569 | 2.01797 |
Haifa-HLMUC 2011-04-07 (complete) | 3502183 | UNSAT | 2.55561 | 2.55649 |
MoUsSaka 2011-03-26 (complete) | 3501395 | UNSAT | 5.76012 | 9.30512 |
PicoGCNF 941 (complete) | 3501198 | UNSAT | 9.25959 | 9.97933 |
MUSer 2011-02-10 (complete) | 3500999 | UNSAT | 13.414 | 13.4138 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3500802 | UNSAT | 24.8552 | 24.1583 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2808 2809 2810 2811 2812 2817 2819 2820 2821 2823 2824 2825 2826 2827 2829 2830 2831 2832 2833 2835 2836 2837 2838 2839 2841 2842 2843 2844 2845 2847 2848 2849 2850 2851 2858 2859 2860 2861 2862 2864 2865 2866 2867 2868 2870 2871 2872 2873 2874 2876 2877 2878 2879 2880 2882 2883 2884 2885 2886 2888 2889 2890 2891 2892 2894 2895 2896 2897 2898 2900 2901 2902 2903 2904 2906 2907 2908 2909 2910 3508 0