Standard output
771281 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
771281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns
771281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 576.82ms
771905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
771905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 137.1ns
772295 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
772452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.13ms
772467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
773076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 606.51ms
773107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
773138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.4ms
773154 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
773154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.2ns
773154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
778427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s
778490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
778552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns
778665 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
778681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.53ms
778681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
783709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
783771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
783787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.02ms