|
org.sat4j.minisat.constraints
|
94,7% |
87,6% |
80,8% |
87,2% |
|
|
CardinalityDataStructure
|
- |
66,7% |
66,7% |
66,7% |
|
CardinalityDataStructureYanMax
|
- |
66,7% |
66,7% |
66,7% |
|
CardinalityDataStructureYanMin
|
- |
66,7% |
66,7% |
66,7% |
|
AbstractPBDataStructureFactory
|
100% |
72,7% |
71,4% |
75% |
|
PBMaxDataStructure
|
- |
75% |
75% |
75% |
|
PBMinDataStructure
|
- |
75% |
75% |
75% |
|
AbstractDataStructureFactory
|
100% |
76,9% |
70% |
76% |
|
ClausalDataStructureCBWL
|
50% |
80% |
100% |
77,8% |
|
AbstractCardinalityDataStructure
|
91,7% |
94,4% |
100% |
93,9% |
|
ClausalDataStructureCB
|
100% |
100% |
100% |
100% |
|
ClausalDataStructureWL
|
100% |
100% |
100% |
100% |
|
MixedDataStructureDaniel
|
- |
100% |
100% |
100% |
|
MixedDataStructureWithBinary
|
100% |
100% |
100% |
100% |
|
MixedDataStructureWithBinaryAndTernary
|
100% |
100% |
100% |
100% |
|
|