Standard output
762955 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
762955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.6ns
762955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
763512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 556.02ms
763559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
763559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
763903 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
763953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.07ms
763953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 605.82ms
764594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
764625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31ms
764641 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
764641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns
764641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
769815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s
769878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
769878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
769987 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
770003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.2ms
770003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
775129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
775176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
775191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.68ms