Standard output
417557 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
417557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns
417604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
420433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
420480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
421183 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 677.83ms
421183 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
421183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.4ns
421183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
424108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s
424155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
424780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 614.87ms