Standard output
622149 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
622149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.2ns
622149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
622610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 461.82ms
622641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
622657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
622938 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
623001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.24ms
623001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
623452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 450.02ms
623483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
623515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.13ms
623515 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
623515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.7ns
623515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
627685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s
627732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
627732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
627889 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
627895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.56ms
627917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
632109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
632157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
632169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.03ms