Standard output
426505 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
426505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.3ns
426505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
426913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 408.19ms
426960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
426960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
427279 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
427408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.15ms
427408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 401.67ms
427838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
427854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.5ms
427870 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
427870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.8ns
427870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
430688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s
430720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
430735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 101.1ns
430845 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
430861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.78ms
430861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
433711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
433743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
433759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.36ms