| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CounterPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 39.645 |
| CounterPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 2 | 667.755 |
| GenericM2Test | 58 | 0 | 31 | 10332.526 |
| M2AtLeastTest | 101 | 0 | 1 | 330.125 |
| M2BackjumpingTest | 101 | 0 | 1 | 388.040 |
| M2CardMaxYannTest | 101 | 0 | 1 | 326.892 |
| M2CardMinYannTest | 101 | 0 | 1 | 321.495 |
| M2Mini3SATTest | 101 | 0 | 0 | 117.870 |
| M2MiniActiveLearningTest | 101 | 0 | 1 | 314.359 |
| M2MiniLearning23Test | 101 | 0 | 0 | 37.797 |
| M2MiniLearning2Test | 101 | 0 | 1 | 314.390 |
| M2MiniLearningCBTest | 101 | 0 | 1 | 326.182 |
| M2MiniLearningTest | 101 | 0 | 1 | 315.635 |
| M2MiniSATTest | 101 | 0 | 0 | 52.423 |
| M2RelsatTest | 101 | 0 | 0 | 65.202 |
| VarOrderTest | 9 | 0 | 0 | 0.053 |
| WatchedPBConstrWithClauseLearningOnCNFTest | 103 | 0 | 0 | 45.123 |
| WatchedPBConstrWithPBConstrLearningOnCNFTest | 103 | 0 | 1 | 353.312 |