Class | Coverage |
ModusPonensBo ModusPonensBo |
0.52
(52%) |
ProofFinderImpl ProofFinderImpl |
0.7147651
(71.5%) |
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase |
0.8518519
(85.2%) |
ProofFinderUtility ProofFinderUtility |
0.9266055
(92.7%) |
SubstPredBo SubstPredBo |
0.26086956
(26.1%) |