Standard output
675023 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
675023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns
675023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
675587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 559.1ms
675634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
675650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
676072 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
676134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.13ms
676134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
676666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 520.44ms
676697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
676759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.92ms
676759 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
676759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns
676775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
681294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s
681341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
681341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
681466 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
681482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.49ms
681482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
686048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
686110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
686126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.76ms