Standard output
659048 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
659048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 828.1ns
659048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
663665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
663713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
664338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 584.49ms
664338 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
664338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns
664338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
668916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
668963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
669447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 459.1ms