Standard output
829171 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
829171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.2ns
829171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
829795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 632.05ms
829841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
829841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
830326 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
830379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.26ms
830382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
831013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 642.33ms
831060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
831075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.86ms
831091 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
831091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.4ns
831091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
836714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s
836769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
836769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
836884 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
836900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.21ms
836900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
842489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s
842603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
842619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.38ms