Standard output
417608 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
417608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.6ns
417608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 412.96ms
418061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
418375 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
418409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.72ms
418409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 389.77ms
418878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
418894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.69ms
418909 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
418909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.1ns
418909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
421785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s
421832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
421832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
421942 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
422052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.51ms
422067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
424809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
424856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
424872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.05ms