Standard output
813660 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
813660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343ns
813660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
814331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 676.59ms
814378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
814378 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
814800 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
814905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.31ms
814920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
815502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 594.43ms
815549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
815581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.04ms
815596 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
815596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns
815596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
821022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s
821069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
821084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns
821195 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
821210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.08ms
821210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
826766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s
826844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
826860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.32ms