Standard output
494640 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
494640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns
494656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
495149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 496.79ms
495180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
495180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
495516 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
495574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.94ms
495577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
496126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 555.24ms
496158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
496189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.27ms
496189 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
496189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns
496189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s
499621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
499621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
499751 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
499751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.05ms
499751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
503086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
503101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.44ms