| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CounterPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 157.135 |
| CounterPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 2 | 794.804 |
| GenericM2Test | 47 | 0 | 20 | 8264.527 |
| M2AtLeastTest | 101 | 0 | 1 | 381.689 |
| M2BackjumpingTest | 101 | 0 | 1 | 514.503 |
| M2CardMaxYannTest | 101 | 0 | 1 | 376.459 |
| M2CardMinYannTest | 101 | 0 | 1 | 358.161 |
| M2Mini3SATTest | 101 | 0 | 8 | 2423.560 |
| M2MiniActiveLearningTest | 101 | 0 | 1 | 338.860 |
| M2MiniLearning23Test | 101 | 0 | 0 | 105.710 |
| M2MiniLearning2Test | 101 | 0 | 1 | 338.907 |
| M2MiniLearningCBTest | 101 | 0 | 1 | 376.518 |
| M2MiniLearningTest | 101 | 0 | 1 | 342.324 |
| M2MiniSATTest | 101 | 0 | 0 | 155.371 |
| M2RelsatTest | 101 | 0 | 0 | 179.339 |
| VarOrderTest | 9 | 0 | 0 | 0.096 |
| WatchedPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 171.373 |
| WatchedPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 1 | 389.886 |