Standard output
518508 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
518508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.1ns
518524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 520.6ms
519071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
519087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
519477 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
519540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.37ms
519557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
520135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 583.11ms
520182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
520213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.53ms
520213 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
520213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.5ns
520229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s
523684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
523699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
523809 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
523824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.77ms
523824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
527295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
527357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
527373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.52ms