Standard output
485150 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
485150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns
485150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
485665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 518.77ms
485712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
485712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
486213 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
486260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.41ms
486275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
486697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 434.93ms
486760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
486791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.09ms
486791 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
486791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.6ns
486791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
489737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s
489799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
489799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
489913 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
489929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.07ms
489929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
493176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
493223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
493239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.47ms