| 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%)
|
| CounterPBConstrWithClauseLearningTest
CounterPBConstrWithClauseLearningTest
|
1.0
(100%)
|
| CounterPBConstrWithPBConstrLearningTest
CounterPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest
CounterPBWithClauseCardConstrLearningReduceToClauseTest
|
1.0
(100%)
|
| LitTest
LitTest
|
1.0
(100%)
|
| 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%)
|
| WatchedCardConstrOnRandomCardProblemsTest
WatchedCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| WatchedPBConstrOnRandomCardProblemsTest
WatchedPBConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| WatchedPBConstrWithClauseLearningTest
WatchedPBConstrWithClauseLearningTest
|
1.0
(100%)
|
| WatchedPBConstrWithPBConstrLearningTest
WatchedPBConstrWithPBConstrLearningTest
|
1.0
(100%)
|