| AbstractM2Test
AbstractM2Test
|
0.99033815
(99%)
|
| AbstractPigeonHoleWithCardinalityTest
AbstractPigeonHoleWithCardinalityTest
|
0.9375
(93,8%)
|
| AbstractPseudoBooleanAndPigeonHoleTest
AbstractPseudoBooleanAndPigeonHoleTest
|
0.9764706
(97,6%)
|
| AbstractRandomCardProblemsTest
AbstractRandomCardProblemsTest
|
1.0
(100%)
|
| CounterCardConstrOnRandomCardProblemsTest
CounterCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| CounterPBConstrOnRandomCardProblemsTest
CounterPBConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| CounterPBConstrWithCBClauseCardConstrLearningTest
CounterPBConstrWithCBClauseCardConstrLearningTest
|
1.0
(100%)
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest
CounterPBConstrWithClauseAtLeastConstrLearningTest
|
1.0
(100%)
|
| CounterPBConstrWithClauseCardConstrLearningTest
CounterPBConstrWithClauseCardConstrLearningTest
|
1.0
(100%)
|
| CounterPBConstrWithClauseLearningOnCNFTest
CounterPBConstrWithClauseLearningOnCNFTest
|
0.9142857
(91,4%)
|
| CounterPBConstrWithClauseLearningTest
CounterPBConstrWithClauseLearningTest
|
1.0
(100%)
|
| CounterPBConstrWithPBConstrLearningOnCNFTest
CounterPBConstrWithPBConstrLearningOnCNFTest
|
0.9142857
(91,4%)
|
| CounterPBConstrWithPBConstrLearningTest
CounterPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest
CounterPBWithClauseCardConstrLearningReduceToClauseTest
|
1.0
(100%)
|
| GoodOPBReaderTest
GoodOPBReaderTest
|
0.8199052
(82%)
|
| HeapTest
HeapTest
|
1.0
(100%)
|
| LboolTest
LboolTest
|
1.0
(100%)
|
| LitTest
LitTest
|
1.0
(100%)
|
| 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%)
|
| MarkableLitsTest
MarkableLitsTest
|
1.0
(100%)
|
| ModelIteratorTest
ModelIteratorTest
|
0.9137931
(91,4%)
|
| MyCounterCardConstrOnRandomCardProblemsTest
MyCounterCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
|
1.0
(100%)
|
| PuebloWatchedPBConstrOnRandomCardProblemsTest
PuebloWatchedPBConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| PuebloWatchedPBConstrWithClauseLearningTest
PuebloWatchedPBConstrWithClauseLearningTest
|
1.0
(100%)
|
| PuebloWatchedPBConstrWithPBConstrLearningTest
PuebloWatchedPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
|
1.0
(100%)
|
| QueueTest
QueueTest
|
1.0
(100%)
|
| RangeDomainTest
RangeDomainTest
|
1.0
(100%)
|
| SingleSolutionTest
SingleSolutionTest
|
0.9574468
(95,7%)
|
| TestAssertion
TestAssertion
|
0.0
(0%)
|
| TestAtMost
TestAtMost
|
0.0
(0%)
|
| TestsFonctionnels
TestsFonctionnels
|
0.0
(0%)
|
| VarOrderTest
VarOrderTest
|
1.0
(100%)
|
| VecTest
VecTest
|
0.9954128
(99,5%)
|
| WatchPbTest
WatchPbTest
|
0.96666664
(96,7%)
|
| WatchedCardConstrOnRandomCardProblemsTest
WatchedCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| WatchedPBConstrOnRandomCardProblemsTest
WatchedPBConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| WatchedPBConstrWithClauseLearningOnCNFTest
WatchedPBConstrWithClauseLearningOnCNFTest
|
0.9142857
(91,4%)
|
| WatchedPBConstrWithClauseLearningTest
WatchedPBConstrWithClauseLearningTest
|
1.0
(100%)
|
| WatchedPBConstrWithPBConstrLearningOnCNFTest
WatchedPBConstrWithPBConstrLearningOnCNFTest
|
0.9142857
(91,4%)
|
| WatchedPBConstrWithPBConstrLearningTest
WatchedPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|