edu.udel.cis.vsl.tass.prove.ideal

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total58 of 21473%6 of 1867%16301760102103
SimpleIdealProver226775%2467%7117265801
SymbolicQuery204167%4660%6105152501
IdealCVC3HybridProver164875%2100%395193801