| AbstractM2Test
AbstractM2Test
|
0.99033815
(99%)
|
| CounterPBConstrWithClauseLearningOnCNFTest
CounterPBConstrWithClauseLearningOnCNFTest
|
0.9142857
(91,4%)
|
| CounterPBConstrWithPBConstrLearningOnCNFTest
CounterPBConstrWithPBConstrLearningOnCNFTest
|
0.9142857
(91,4%)
|
| M2AtLeastTest
M2AtLeastTest
|
1.0
(100%)
|
| M2BackjumpingTest
M2BackjumpingTest
|
1.0
(100%)
|
| M2CardMaxYannTest
M2CardMaxYannTest
|
1.0
(100%)
|
| M2CardMinYannTest
M2CardMinYannTest
|
1.0
(100%)
|
| M2Mini3SATTest
M2Mini3SATTest
|
1.0
(100%)
|
| M2MiniActiveLearningTest
M2MiniActiveLearningTest
|
1.0
(100%)
|
| M2MiniLearning23Test
M2MiniLearning23Test
|
1.0
(100%)
|
| M2MiniLearning2Test
M2MiniLearning2Test
|
1.0
(100%)
|
| M2MiniLearningCBTest
M2MiniLearningCBTest
|
1.0
(100%)
|
| M2MiniLearningTest
M2MiniLearningTest
|
1.0
(100%)
|
| M2MiniSATTest
M2MiniSATTest
|
1.0
(100%)
|
| M2RelsatTest
M2RelsatTest
|
1.0
(100%)
|
| TestAssertion
TestAssertion
|
0.0
(0%)
|
| TestsFonctionnels
TestsFonctionnels
|
0.0
(0%)
|
| VarOrderTest
VarOrderTest
|
1.0
(100%)
|
| WatchedPBConstrWithClauseLearningOnCNFTest
WatchedPBConstrWithClauseLearningOnCNFTest
|
0.9142857
(91,4%)
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest
WatchedPBConstrWithPBConstrLearningOnCNFTest
|
0.9142857
(91,4%)
|