Standard output
424903 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
424903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns
424919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
427831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
428503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 660.65ms
428503 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
428518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 643.4ns
428518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
431422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s
431469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
432126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 638.02ms