Standard output
406883 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
406883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns
406898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
407289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 402.78ms
407336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
407336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
407571 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
407602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 41.24ms
407602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
408134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 524.82ms
408165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
408196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.87ms
408208 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
408208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns
408212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
410995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
410995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
411105 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
411120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.47ms
411120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
413825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
413887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
413887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.52ms