Standard output
671414 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
671414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns
671414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
675774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s
675821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
676492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 644.51ms
676507 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
676507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.4ns
676507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
680757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s
680835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
681430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 565.08ms