Standard output
500231 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
500231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.8ns
500231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
501370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 1.15s
501417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
501417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
501751 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
501798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 44.15ms
501798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 515.86ms
502349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
502380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.87ms
502380 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
502380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.1ns
502380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
505860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
505860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
505985 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
506000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.01ms
506000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
509253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
509316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
509331 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.31ms