Standard output
660552 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
660552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.8ns
660614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
665132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s
665179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
666013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 797.3ms
666013 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
666013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.1ns
666013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
670514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
670593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
671328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 715.41ms