Prove

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total3 of 1377%0 of 0n/a131313
Prove()30%n/a111111
newIdealCVC3HybridProver(SymbolicUniverseIF, RunConfiguration)6100%n/a010101
newCVC3Prover(SymbolicUniverseIF, RunConfiguration)4100%n/a010101