Standard output
397189 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
397189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.2ns
397189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
398940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 1.75s
398955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
398971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns
399528 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
400565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03s
400565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
402794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.24s
402826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
402841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.62ms
402841 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
402841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.6ns
402857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
405637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
405684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
405684 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
406340 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
406340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.8ms
406340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
409053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
409100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
409116 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.23ms