Standard output
441955 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
441955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns
441955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
444858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s
444905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
445468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 548.15ms
445468 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
445468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.1ns
445468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
448405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s
448457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
448960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 493.78ms