| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Success rate | Time |
|---|---|---|---|---|
| 2096 | 92 | 0 | 95.61% | 33644.127 |
| Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| org.sat4j | 4 | 0 | 0 | 0.370 |
| org.sat4j.core | 24 | 0 | 0 | 0.184 |
| org.sat4j.minisat | 1663 | 0 | 39 | 16509.697 |
| org.sat4j.minisat.constraints | 377 | 0 | 53 | 17132.460 |
| org.sat4j.minisat.constraints.pb | 1 | 0 | 0 | 0.348 |
| org.sat4j.minisat.core | 12 | 0 | 0 | 0.334 |
| org.sat4j.minisat.datatype | 3 | 0 | 0 | 0.154 |
| org.sat4j.minisat.reader | 12 | 0 | 0 | 0.580 |