Standard output
521760 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
521760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns
521760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
522341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 586.37ms
522372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
522388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
522716 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
522779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.11ms
522779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 584.54ms
523404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
523435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.92ms
523451 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
523451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.7ns
523451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
526943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
526990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
526990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 121.1ns
527106 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
527121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.44ms
527121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
530611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
530657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
530673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.77ms