| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CounterPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 366.283 |
| CounterPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 3 | 1445.959 |
| GenericM2Test | 30 | 0 | 19 | 7578.262 |
| M2AtLeastTest | 101 | 0 | 1 | 440.221 |
| M2BackjumpingTest | 101 | 0 | 1 | 440.893 |
| M2CardMaxYannTest | 101 | 0 | 1 | 445.290 |
| M2CardMinYannTest | 101 | 0 | 1 | 408.021 |
| M2Mini3SATTest | 101 | 0 | 8 | 2443.154 |
| M2MiniActiveLearningTest | 101 | 0 | 1 | 373.962 |
| M2MiniLearning23Test | 101 | 0 | 0 | 160.571 |
| M2MiniLearning2Test | 101 | 0 | 1 | 373.952 |
| M2MiniLearningCBTest | 101 | 0 | 1 | 432.139 |
| M2MiniLearningTest | 101 | 0 | 1 | 373.894 |
| M2MiniSATTest | 101 | 0 | 0 | 139.484 |
| M2RelsatTest | 101 | 0 | 0 | 225.705 |
| VarOrderTest | 9 | 0 | 0 | 0.196 |
| WatchedPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 244.193 |
| WatchedPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 1 | 617.518 |