Standard output
767703 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
767703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201ns
767703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
768360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 649.02ms
768407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
768407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
768891 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
768953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ms
768970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
769595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 626.97ms
769642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
769673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.82ms
769689 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
769689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns
769689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
774832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
774911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
774911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
775020 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
775098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.03ms
775098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
780258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s
780367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
780399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.52ms