Standard output
503132 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
503132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 661.4ns
503139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
506523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
507422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 876.04ms
507422 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
507422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.7ns
507438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
510958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
511650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 679.13ms