Standard output
500722 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
500722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.5ns
500722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
501225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 499.24ms
501262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
501266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
501596 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
501644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.09ms
501644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 479.33ms
502160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
502191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.92ms
502191 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
502191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns
502207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
505553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
505553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
505666 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
505681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.63ms
505681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
508974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
508990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.17ms