Standard output
501339 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
501339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.6ns
501339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
501808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 468.6ms
501839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
501855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns
502121 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
502166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 45ms
502182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 460.51ms
502667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
502698 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.41ms
502714 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
502714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122ns
502719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
505854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
505857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
505967 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
505983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 17.36ms
505998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
509042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s
509105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
509105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.12ms