Standard output
424827 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
424827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.8ns
424842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s
427704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
428298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 572.11ms
428298 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
428298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.6ns
428298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
431144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s
431190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
431737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 527.43ms