Standard output
511713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof
511713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.7ns
511713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
515130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
515720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 568.12ms
515720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof
515720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.3ns
515720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
519185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
519810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 615.21ms