Standard output
797294 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
797295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.5ns
797297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
802811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s
802865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
803886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 973.14ms
803888 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
803888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285ns
803891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
809365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s
809432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0
810391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 916.49ms