Standard output
417711 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
417711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.6ns
417711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 429.7ms
418164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
418383 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
418430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.25ms
418445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 378.21ms
418852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.07ms
418867 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
418867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.5ns
418883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
421556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
421650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
421650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
421759 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
421775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.49ms
421775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
424417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
424464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
424479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.22ms