| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Success rate | Time |
|---|---|---|---|---|
| 1416 | 30 | 96 | 91.10% | 9543.723 |
| 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.161 |
| org.sat4j.core | 24 | 0 | 0 | 0.044 |
| org.sat4j.minisat | 1258 | 0 | 30 | 9543.023 |
| org.sat4j.minisat.constraints | 101 | 96 | 0 | 0.345 |
| org.sat4j.minisat.core | 24 | 0 | 0 | 0.116 |
| org.sat4j.minisat.datatype | 3 | 0 | 0 | 0.034 |