QuantifierSimplification

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total12 of 15092%4 of 2080%41333503
apply(SymbolicExpression)1213291%41680%41133201
QuantifierSimplification(IdealSimplifierWorker)4100%n/a010201
kind()2100%n/a010101