Standard output
602801 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
602801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns
602801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
603348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 542.2ms
603379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
603395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
603661 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
603723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.55ms
603723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
604208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 478.03ms
604255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
604271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.44ms
604287 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
604287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.2ns
604287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
608257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s
608320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
608320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
608429 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
608429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.11ms
608429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
612463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s
612510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
612525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.92ms