|
AbstractM2Test
AbstractM2Test
|
-1.0
( - )
|
|
AbstractPigeonHoleWithCardinalityTest
AbstractPigeonHoleWithCardinalityTest
|
-1.0
( - )
|
|
AbstractPseudoBooleanAndPigeonHoleTest
AbstractPseudoBooleanAndPigeonHoleTest
|
-1.0
( - )
|
|
AbstractRandomCardProblemsTest
AbstractRandomCardProblemsTest
|
-1.0
( - )
|
|
CounterCardConstrOnRandomCardProblemsTest
CounterCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
CounterPBConstrOnRandomCardProblemsTest
CounterPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
CounterPBConstrWithCBClauseCardConstrLearningTest
CounterPBConstrWithCBClauseCardConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseAtLeastConstrLearningTest
CounterPBConstrWithClauseAtLeastConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseCardConstrLearningTest
CounterPBConstrWithClauseCardConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseLearningOnCNFTest
CounterPBConstrWithClauseLearningOnCNFTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseLearningTest
CounterPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
CounterPBConstrWithPBConstrLearningOnCNFTest
CounterPBConstrWithPBConstrLearningOnCNFTest
|
0.98058254
(98,1%)
|
|
CounterPBConstrWithPBConstrLearningTest
CounterPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|
|
CounterPBWithClauseCardConstrLearningReduceToClauseTest
CounterPBWithClauseCardConstrLearningReduceToClauseTest
|
1.0
(100%)
|
|
GoodOPBReaderTest
GoodOPBReaderTest
|
1.0
(100%)
|
|
HeapTest
HeapTest
|
1.0
(100%)
|
|
LboolTest
LboolTest
|
1.0
(100%)
|
|
LitTest
LitTest
|
1.0
(100%)
|
|
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%)
|
|
MarkableLitsTest
MarkableLitsTest
|
1.0
(100%)
|
|
ModelIteratorTest
ModelIteratorTest
|
1.0
(100%)
|
|
MyCounterCardConstrOnRandomCardProblemsTest
MyCounterCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
|
1.0
(100%)
|
|
PuebloWatchedPBConstrOnRandomCardProblemsTest
PuebloWatchedPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
PuebloWatchedPBConstrWithClauseLearningTest
PuebloWatchedPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
PuebloWatchedPBConstrWithPBConstrLearningTest
PuebloWatchedPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|
|
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
|
0.9811321
(98,1%)
|
|
QueueTest
QueueTest
|
1.0
(100%)
|
|
RangeDomainTest
RangeDomainTest
|
1.0
(100%)
|
|
SingleSolutionTest
SingleSolutionTest
|
1.0
(100%)
|
|
TestAssertion
TestAssertion
|
-1.0
( - )
|
|
TestAtMost
TestAtMost
|
-1.0
( - )
|
|
TestsFonctionnels
TestsFonctionnels
|
-1.0
( - )
|
|
VarOrderTest
VarOrderTest
|
1.0
(100%)
|
|
VecTest
VecTest
|
1.0
(100%)
|
|
WatchPbTest
WatchPbTest
|
1.0
(100%)
|
|
WatchedCardConstrOnRandomCardProblemsTest
WatchedCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
WatchedPBConstrOnRandomCardProblemsTest
WatchedPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
WatchedPBConstrWithClauseLearningOnCNFTest
WatchedPBConstrWithClauseLearningOnCNFTest
|
1.0
(100%)
|
|
WatchedPBConstrWithClauseLearningTest
WatchedPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
WatchedPBConstrWithPBConstrLearningOnCNFTest
WatchedPBConstrWithPBConstrLearningOnCNFTest
|
0.99029124
(99%)
|
|
WatchedPBConstrWithPBConstrLearningTest
WatchedPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|