Standard output
497163 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
497163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.6ns
497163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 571.69ms
497773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
497773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
498117 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
498168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.79ms
498168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 502.63ms
498702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
498718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.84ms
498733 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
498733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.1ns
498733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
502087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
502087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
502194 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
502194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.21ms
502209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
505583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
505583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.74ms