| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Success rate | Time |
|---|---|---|---|---|
| 2583 | 92 | 31 | 95.24% | 34778.831 |
| Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| org.sat4j | 6 | 0 | 0 | 0.343 |
| org.sat4j.core | 24 | 0 | 0 | 0.094 |
| org.sat4j.minisat | 1680 | 0 | 39 | 15669.222 |
| org.sat4j.minisat.constraints | 833 | 31 | 53 | 19108.362 |
| org.sat4j.minisat.constraints.pb | 1 | 0 | 0 | 0.159 |
| org.sat4j.minisat.core | 24 | 0 | 0 | 0.288 |
| org.sat4j.minisat.datatype | 3 | 0 | 0 | 0.079 |
| org.sat4j.minisat.reader | 12 | 0 | 0 | 0.284 |