Standard output
730805 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
730805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns
730805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
731417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 599.66ms
731448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
731448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
731862 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
732018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.93ms
732018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
732581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 569.07ms
732628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
732659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.77ms
732659 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
732659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.8ns
732659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
737616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
737679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
737679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
737805 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
737805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.34ms
737820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
742802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s
742849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
742864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.87ms