Standard output
753104 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
753104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns
753120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
753766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 645.55ms
753813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
753813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
754271 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
754326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.7ms
754326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
754881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 565.42ms
754928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
754959 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.45ms
754959 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
754959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns
754975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
759984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s
760047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
760047 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
760156 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
760156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.78ms
760172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
765309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
765355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
765381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ms