Standard output
805125 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
805125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns
805125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
805836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 698.13ms
805868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
805883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
806373 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
806440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.19ms
806440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
807089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 636.62ms
807115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
807162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.21ms
807209 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
807209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 819.3ns
807209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
812845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s
812913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
812917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
813028 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
813043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.65ms
813043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
818829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.79s
818891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
818907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.62ms