Standard output
827039 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
827040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 690.9ns
827046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
832900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.86s
832962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
833916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 905.01ms
833916 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
833916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns
833916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
839897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.98s
839959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
840757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 758.14ms