Standard output
474657 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
474658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.1ns
474659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
477842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
477882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
478547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 648.32ms
478548 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
478548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns
478550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
481807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
482379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 556.62ms