| Name | SAT02/industrial/biere/ cmpadd/ca002.shuffled.cnf |
| MD5SUM | 6229a5f0c2b22ecbb1ea7df1f46407d7 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.000999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 26 |
| Number of clauses | 70 |
| Sum of the clauses size | 176 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 30 |
| Number of clauses of size 3 | 38 |
| 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 |
|---|---|---|---|---|
| MUSer 2011-02-10 (complete) | 3493863 | UNSAT | 0.000999 | 0.00622004 |
| MoUsSaka 2011-03-26 (complete) | 3495667 | UNSAT | 0.001998 | 0.0062649 |
| Haifa-MUC-A 2011-04-07 (complete) | 3493867 | UNSAT | 0.001999 | 0.00822008 |
| OptimuS a100_source (complete) | 3494767 | UNSAT | 0.001999 | 0.00632707 |
| OptimuS p100_source (complete) | 3495067 | UNSAT | 0.002998 | 0.00646892 |
| Haifa-MUC 2011-04-07 (complete) | 3494167 | UNSAT | 0.002998 | 0.0076549 |
| Haifa-MUC 2011-04-07 (complete) | 3494467 | UNSAT | 0.002999 | 0.005816 |
| MiniUnsat2 2011-02-22 (complete) | 3493865 | UNSAT | 0.002999 | 0.00712604 |
| OptimuS x100_source (complete) | 3495367 | UNSAT | 0.002999 | 0.00591588 |
| PicoMUS 941 (complete) | 3493866 | UNSAT | 0.011998 | 0.0116401 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493864 | UNSAT | 0.285956 | 0.206396 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:69 67 66 65 63 59 57 52 50 49 48 47 46 44 43 40 39 38 37 35 33 32 28 27 26 24 20 19 18 17 15 11 10 9 7 4 3 2 1 0