| AbstractCardinalityDataStructure
AbstractCardinalityDataStructure
|
0.8780488
(87,8%)
|
| AbstractDataStructureFactory
AbstractDataStructureFactory
|
0.53846157
(53,8%)
|
| AbstractPBClauseCardConstrDataStructure
AbstractPBClauseCardConstrDataStructure
|
0.8979592
(89,8%)
|
| AbstractPBDataStructureFactory
AbstractPBDataStructureFactory
|
0.7619048
(76,2%)
|
| AbstractPigeonHoleWithCardinalityTest
AbstractPigeonHoleWithCardinalityTest
|
0.9375
(93,8%)
|
| AbstractPseudoBooleanAndPigeonHoleTest
AbstractPseudoBooleanAndPigeonHoleTest
|
0.9764706
(97,6%)
|
| AbstractRandomCardProblemsTest
AbstractRandomCardProblemsTest
|
1.0
(100%)
|
| AllTests
AllTests
|
0.0
(0%)
|
| CardinalityDataStructure
CardinalityDataStructure
|
0.6666667
(66,7%)
|
| CardinalityDataStructureYanMax
CardinalityDataStructureYanMax
|
0.6666667
(66,7%)
|
| CardinalityDataStructureYanMin
CardinalityDataStructureYanMin
|
0.6666667
(66,7%)
|
| ClausalDataStructureCB
ClausalDataStructureCB
|
1.0
(100%)
|
| ClausalDataStructureCBWL
ClausalDataStructureCBWL
|
0.8181818
(81,8%)
|
| ClausalDataStructureWL
ClausalDataStructureWL
|
0.18181819
(18,2%)
|
| CounterCardConstrOnRandomCardProblemsTest
CounterCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| CounterPBConstrClauseImpliedWithClauseCardConstrLearning
CounterPBConstrClauseImpliedWithClauseCardConstrLearning
|
0.0
(0%)
|
| 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%)
|
| MixedDataStructureDaniel
MixedDataStructureDaniel
|
1.0
(100%)
|
| MixedDataStructureDanielCBWL
MixedDataStructureDanielCBWL
|
0.71428573
(71,4%)
|
| MixedDataStructureWithBinary
MixedDataStructureWithBinary
|
1.0
(100%)
|
| MixedDataStructureWithBinaryAndTernary
MixedDataStructureWithBinaryAndTernary
|
1.0
(100%)
|
| MyCounterCardConstrOnRandomCardProblemsTest
MyCounterCardConstrOnRandomCardProblemsTest
|
1.0
(100%)
|
| PBMaxCBClauseCardConstrDataStructure
PBMaxCBClauseCardConstrDataStructure
|
1.0
(100%)
|
| PBMaxClauseAtLeastConstrDataStructure
PBMaxClauseAtLeastConstrDataStructure
|
1.0
(100%)
|
| PBMaxClauseCardConstrDataStructure
PBMaxClauseCardConstrDataStructure
|
0.6666667
(66,7%)
|
| PBMaxDataStructure
PBMaxDataStructure
|
0.75
(75%)
|
| PBMinClauseCardConstrDataStructure
PBMinClauseCardConstrDataStructure
|
0.0
(0%)
|
| PBMinDataStructure
PBMinDataStructure
|
0.75
(75%)
|
| PuebloPBMinClauseAtLeastConstrDataStructure
PuebloPBMinClauseAtLeastConstrDataStructure
|
1.0
(100%)
|
| PuebloPBMinClauseCardConstrDataStructure
PuebloPBMinClauseCardConstrDataStructure
|
0.85714287
(85,7%)
|
| PuebloPBMinDataStructure
PuebloPBMinDataStructure
|
0.75
(75%)
|
| 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%)
|