Standard output
585839 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
585839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.4ns
585839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
586305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 471.03ms
586336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
586336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
586682 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
586763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.36ms
586763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
587201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 433.91ms
587232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
587248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.98ms
587248 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
587248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.1ns
587263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
591176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s
591207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
591223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
591337 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
591337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.06ms
591337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
595292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s
595339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
595339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.55ms