Standard output
396942 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
396942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.6ns
396958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
397333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 380.92ms
397364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
397364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
397583 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
397614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 39.01ms
397614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
397989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 373.46ms
398021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
398052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.76ms
398052 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
398052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.7ns
398067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
400773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
400819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
400819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
400945 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
400945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.49ms
400945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
403650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
403697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
403713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.77ms