Standard output
406187 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
406187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.4ns
406187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
406593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 408ms
406624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
406640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
406923 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
406961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 38.75ms
406963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
407320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 366.81ms
407352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
407383 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.69ms
407383 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
407383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.5ns
407383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
410206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
410206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
410335 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
410335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.95ms
410335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
413091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
413122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
413138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.56ms