| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| GenericM2Test | 37 | 0 | 22 | 6644.693 |
| M2AtLeastTest | 101 | 0 | 1 | 328.709 |
| M2BackjumpingTest | 101 | 0 | 1 | 384.407 |
| M2CardMaxYannTest | 101 | 0 | 1 | 327.142 |
| M2CardMinYannTest | 101 | 0 | 1 | 319.695 |
| M2Mini3SATTest | 101 | 0 | 0 | 117.524 |
| M2MiniActiveLearningTest | 101 | 0 | 1 | 314.308 |
| M2MiniLearning23Test | 101 | 0 | 0 | 36.172 |
| M2MiniLearning2Test | 101 | 0 | 1 | 314.857 |
| M2MiniLearningCBTest | 101 | 0 | 1 | 325.926 |
| M2MiniLearningTest | 101 | 0 | 1 | 315.625 |
| M2MiniSATTest | 101 | 0 | 0 | 50.340 |
| M2RelsatTest | 101 | 0 | 0 | 63.582 |
| VarOrderTest | 9 | 0 | 0 | 0.043 |