Standard output
648447 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
648447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns
648447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
648919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 470.01ms
648951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
648951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
649407 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
649454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 45.76ms
649454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
649987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 535.05ms
650019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
650050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.58ms
650050 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
650050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns
650050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
654433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s
654480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
654480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
654589 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
654589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3ms
654605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
658986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
659032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
659048 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.74ms