Standard output
716144 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
716144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns
716146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
721042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s
721087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
721852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 717.16ms
721854 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
721854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.8ns
721856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
726868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s
726933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
727620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 646.4ms