Standard output
472170 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
472171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.2ns
472172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
475307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
475381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
475978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 581.32ms
475980 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
475980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.6ns
475981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
479183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
479226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
479769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 528.4ms