Standard output
463927 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
463927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78ns
463929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
467242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
467282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
468135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 836.07ms
468137 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
468137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.7ns
468138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
471427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
471468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
472131 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 647.72ms