Standard output
409312 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
409312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.2ns
409328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
409729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 408.46ms
409765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
409765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
410058 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
410116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.8ms
410116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 380.88ms
410530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
410562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.54ms
410567 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
410567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.1ns
410567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
413345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s
413376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
413376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
413496 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
413496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.03ms
413496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
416235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
416267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
416282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.73ms