Standard output
483297 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
483297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.4ns
483297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 496.99ms
483844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
483844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
484110 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
484157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 45.41ms
484157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 486.2ms
484673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
484704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.84ms
484704 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
484704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns
484719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
487939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
487986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
487986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
488095 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
488111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.34ms
488111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
491317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
491364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
491380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.38ms