Standard output
466629 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
466629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns
466631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
469837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
469875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
470654 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 762.15ms
470656 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
470656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns
470657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
473935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
473975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
474598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 606.64ms