Standard output
432189 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
432189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.3ns
432204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
435134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
435181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
435666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 467.9ms
435666 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
435666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns
435666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
438483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s
438529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
438983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 437.51ms