Standard output
813470 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
813470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.7ns
813470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
814190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 716.35ms
814252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
814252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
814690 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
814846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.87ms
814846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
815503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 650.72ms
815550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
815612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.66ms
815628 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
815628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 638.2ns
815628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
821130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s
821193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
821208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
821318 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
821349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 29.27ms
821349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
826868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s
826946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
826978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.96ms