Standard output
398769 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
398769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.4ns
398769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
399176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 399.44ms
399207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
399207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
399455 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
399508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.42ms
399523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
399907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 388.43ms
399939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
399954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.99ms
399954 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
399954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.5ns
399954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
402720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
402751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
402767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 93.9ns
402872 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
402872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.26ms
402888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
405620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
405651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
405667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ms