| AbstractCardinalityDataStructure
AbstractCardinalityDataStructure
|
0.8780488
(87,8%)
|
| AbstractDataStructureFactory
AbstractDataStructureFactory
|
0.61538464
(61,5%)
|
| AbstractPBClauseCardConstrDataStructure
AbstractPBClauseCardConstrDataStructure
|
0.8979592
(89,8%)
|
| AbstractPBDataStructureFactory
AbstractPBDataStructureFactory
|
0.7619048
(76,2%)
|
| 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%)
|
| CounterPBConstrClauseImpliedWithClauseCardConstrLearning
CounterPBConstrClauseImpliedWithClauseCardConstrLearning
|
0.0
(0%)
|
| MixedDataStructureDaniel
MixedDataStructureDaniel
|
1.0
(100%)
|
| MixedDataStructureDanielCBWL
MixedDataStructureDanielCBWL
|
0.71428573
(71,4%)
|
| MixedDataStructureWithBinary
MixedDataStructureWithBinary
|
1.0
(100%)
|
| MixedDataStructureWithBinaryAndTernary
MixedDataStructureWithBinaryAndTernary
|
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%)
|