| Name | gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf |
| MD5SUM | df65341c4097361d05f494bb8c3298c5 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 7.54485 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1219903 |
| Number of clauses | 3573604 |
| Sum of the clauses size | 8296175 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1780 |
| Number of clauses of size 2 | 2421077 |
| Number of clauses of size 3 | 1150747 |
| 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 | 4007 |
| Number of clauses in the kernel (group 0) | 3461940 |
| Least number of clauses in a group (except group 0) | 1 |
| Greatest number of clauses in a group (except group 0) | 30 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3500803 | UNSAT | 6.25105 | 5.88563 |
| Haifa-HLMUC 2011-04-07 (complete) | 3502184 | UNSAT | 7.54485 | 7.5506 |
| Haifa-HLMUC 2011-04-07 (complete) | 3501593 | UNSAT | 10.3424 | 10.3434 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3501790 | UNSAT | 10.7954 | 10.8091 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3501987 | UNSAT | 10.9223 | 10.9471 |
| MoUsSaka 2011-03-26 (complete) | 3501396 | UNSAT | 37.0644 | 37.0779 |
| PicoGCNF 941 (complete) | 3501199 | UNSAT | 46.6129 | 46.6257 |
| MUSer 2011-02-10 (complete) | 3501000 | UNSAT | 206.936 | 206.934 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3274 0