Standard output
572459 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
572459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.3ns
572459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
575960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s
576023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
576977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 938.69ms
576977 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
576977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.3ns
576977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
580480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
580542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
581355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 791.65ms