|
AbstractM2Test
AbstractM2Test
|
-1.0
( - )
|
|
CounterPBConstrWithClauseLearningOnCNFTest
CounterPBConstrWithClauseLearningOnCNFTest
|
1.0
(100%)
|
|
CounterPBConstrWithPBConstrLearningOnCNFTest
CounterPBConstrWithPBConstrLearningOnCNFTest
|
0.98058254
(98,1%)
|
|
M2AtLeastTest
M2AtLeastTest
|
0.990099
(99%)
|
|
M2BackjumpingTest
M2BackjumpingTest
|
0.990099
(99%)
|
|
M2CardMaxYannTest
M2CardMaxYannTest
|
0.990099
(99%)
|
|
M2CardMinYannTest
M2CardMinYannTest
|
0.990099
(99%)
|
|
M2Mini3SATTest
M2Mini3SATTest
|
1.0
(100%)
|
|
M2MiniActiveLearningTest
M2MiniActiveLearningTest
|
0.990099
(99%)
|
|
M2MiniLearning23Test
M2MiniLearning23Test
|
1.0
(100%)
|
|
M2MiniLearning2Test
M2MiniLearning2Test
|
0.990099
(99%)
|
|
M2MiniLearningCBTest
M2MiniLearningCBTest
|
0.990099
(99%)
|
|
M2MiniLearningTest
M2MiniLearningTest
|
0.990099
(99%)
|
|
M2MiniSATTest
M2MiniSATTest
|
1.0
(100%)
|
|
M2RelsatTest
M2RelsatTest
|
1.0
(100%)
|
|
TestAssertion
TestAssertion
|
-1.0
( - )
|
|
TestsFonctionnels
TestsFonctionnels
|
-1.0
( - )
|
|
VarOrderTest
VarOrderTest
|
1.0
(100%)
|
|
WatchedPBConstrWithClauseLearningOnCNFTest
WatchedPBConstrWithClauseLearningOnCNFTest
|
1.0
(100%)
|
|
WatchedPBConstrWithPBConstrLearningOnCNFTest
WatchedPBConstrWithPBConstrLearningOnCNFTest
|
0.99029124
(99%)
|