Standard output
626570 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
626570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns
626570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
627026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 450.76ms
627061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
627061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
627405 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
627451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.54ms
627451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
627927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 476.04ms
627958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
628020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 47.27ms
628020 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
628020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.8ns
628020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
632230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
632280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
632283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
632387 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
632387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.92ms
632387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
636543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s
636589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
636605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.85ms