Standard output
520686 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
520686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.9ns
520686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 518.06ms
521248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
521248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
521561 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
521633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.08ms
521649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
522165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 516.36ms
522196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
522243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.39ms
522243 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
522243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns
522243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
525901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
525901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
526011 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
526026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.11ms
526026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
529669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
529716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
529731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.06ms