Standard output
630342 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
630342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.8ns
630342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 555.56ms
630942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
630942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
631251 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
631313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.44ms
631329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
631807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 479.11ms
631838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
631854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.89ms
631869 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
631869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.5ns
631869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
636145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
636247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
636250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
636361 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
636377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.18ms
636377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
640623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
640670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
640686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.17ms