Standard output
620245 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
620245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.7ns
620245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
620776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 527.58ms
620807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
620823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
621120 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
621229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.28ms
621229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
621761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 523.68ms
621792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
621823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.99ms
621823 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
621823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns
621823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
626170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
626217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
626233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
626342 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
626342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.91ms
626358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
630657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
630719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
630735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ms