TrivialTautologies

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total2 of 12798%2 of 3494%22112804
transformCNF(CNF)21789%1150%121601
isTautological(ComparisonExpression)85100%12796%11501601
notTautological(CNFElement)20100%4100%030501
TrivialTautologies()3100%n/a010101