Standard output
434546 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
434546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns
434561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
437485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s
437531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
438329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 728.09ms
438329 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
438329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.4ns
438329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
441284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s
441330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
441893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 540.79ms