|
|||||||||||||||||||||||||
Package | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
org.sat4j.minisat.constraints.cnf | 84,6% | 81,6% | 71,7% | 80,3% |
|
||||||||||||||||||||
Classes | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
BinaryClauses | 50% | 60% | 35,3% | 50% |
|
||||||||||||||||||||
TernaryClauses | 94,4% | 83,3% | 35,3% | 74,6% |
|
||||||||||||||||||||
Lits | 61,1% | 76,1% | 84,6% | 75,7% |
|
||||||||||||||||||||
MixableCBClause | - | 85,7% | 75% | 81,8% |
|
||||||||||||||||||||
CBClause | 92,3% | 82% | 89,5% | 86,3% |
|
||||||||||||||||||||
WLClause | 90% | 85% | 86,4% | 86,6% |
|
||||||||||||||||||||
Lits2 | 100% | 100% | 100% | 100% |
|
||||||||||||||||||||
Lits23 | 100% | 100% | 100% | 100% |
|
||||||||||||||||||||
|