Standard output
496554 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
496554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns
496554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 970.77ms
497570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
497585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
499211 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
499258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.16ms
499258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 467.15ms
499758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
499790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.8ms
499790 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
499790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.3ns
499790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
503167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
503167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
503276 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
503292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.59ms
503292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
506544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
506560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.64ms