Standard output
650358 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
650358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.8ns
650358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
650823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 471.79ms
650861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
650861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
651174 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
651251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.68ms
651267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
651726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 462.43ms
651757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
651772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.33ms
651788 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
651788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns
651788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
655972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
656027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
656030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
656141 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
656141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.34ms
656157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
660393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
660439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
660455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.11ms