Standard output
540440 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
540440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns
540440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
541050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 603.85ms
541097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
541097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
541409 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
541472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.37ms
541487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
542068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 580.18ms
542099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
542130 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.51ms
542146 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
542146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.6ns
542146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
545881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
545944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
545944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
546054 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
546070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.15ms
546070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
549696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
549775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
549790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.11ms