Standard output
482164 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
482164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.2ns
482164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
482665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 498.52ms
482712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
482712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
483025 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
483092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.51ms
483092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 485.23ms
483617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
483633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.78ms
483633 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
483633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.6ns
483648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
486903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
486950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
486950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
487065 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
487081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.59ms
487081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
490285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
490332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
490332 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.76ms