Standard output
513073 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
513073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.9ns
513073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 484.11ms
513604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
513604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
513886 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
513964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.38ms
513964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
514605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 630.72ms
514652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
514714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.49ms
514730 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
514730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms
514730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
518233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
518296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
518296 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
518405 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
518405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.52ms
518421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
522001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
522017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.28ms