Standard output
571411 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
571411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.3ns
571426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
572021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 596.11ms
572099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
572099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
572538 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
572632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.74ms
572632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
573194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 559.47ms
573241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
573288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.63ms
573288 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
573288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns
573288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
577024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s
577086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
577086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
577211 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
577211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.43ms
577227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
581043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
581105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
581121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.01ms