| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CounterCardConstrOnRandomCardProblemsTest | 32 | 0 | 1 | 392.594 |
| CounterPBConstrOnRandomCardProblemsTest | 32 | 0 | 1 | 535.963 |
| CounterPBConstrWithClauseLearningTest | 53 | 0 | 22 | 6786.591 |
| CounterPBConstrWithPBConstrLearningTest | 53 | 0 | 2 | 732.463 |
| LitTest | 5 | 0 | 0 | 0.180 |
| MyCounterCardConstrOnRandomCardProblemsTest | 32 | 0 | 1 | 392.571 |
| WatchedCardConstrOnRandomCardProblemsTest | 32 | 0 | 1 | 392.657 |
| WatchedPBConstrOnRandomCardProblemsTest | 32 | 0 | 2 | 617.972 |
| WatchedPBConstrWithClauseLearningTest | 53 | 0 | 22 | 6778.121 |
| WatchedPBConstrWithPBConstrLearningTest | 53 | 0 | 1 | 503.348 |