Universes

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total86 of 17350%7 of 1241%913295747
newHerbrandUniverse(SARLConfig, ProverInfo)460%40%33161611
newIdealUniverse(SARLConfig, ProverInfo)163367%2250%2351601
newStandardUniverse(SARLConfig, ProverInfo)135079%1375%1352101
newHerbrandUniverse()40%n/a111111
newStandardUniverse()40%n/a111111
Universes()30%n/a111111
newIdealUniverse()4100%n/a010101