| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Success rate | Time |
|---|---|---|---|---|
| 2599 | 111 | 0 | 95.73% | 36534.539 |
| 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.204 |
| org.sat4j.core | 24 | 0 | 0 | 0.044 |
| org.sat4j.minisat | 1691 | 0 | 42 | 14348.824 |
| org.sat4j.minisat.constraints | 833 | 0 | 69 | 22184.919 |
| org.sat4j.minisat.constraints.pb | 1 | 0 | 0 | 0.078 |
| org.sat4j.minisat.core | 24 | 0 | 0 | 0.147 |
| org.sat4j.minisat.datatype | 3 | 0 | 0 | 0.037 |
| org.sat4j.minisat.reader | 17 | 0 | 0 | 0.286 |