Standard output
563188 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
563188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.15ms
563251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
566800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
566862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
567816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 923.47ms
567816 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
567816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.4ns
567816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
571490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s
571536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
572396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 833.16ms