Standard output
786780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key
786780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns
786795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
787389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 595.91ms
787436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
787436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
787881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof
787962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.63ms
787962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
788688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 733.53ms
788754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
788788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.54ms
788794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key
788794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.8ns
788797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
794149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s
794212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
794212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
794329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof
794329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.74ms
794329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
799569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s
799632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
799647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.57ms