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 |