Standard output
764374 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
764374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns
764374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
764947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 572.87ms
764994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
765009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
765498 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
765560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.28ms
765560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
766188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 622.92ms
766219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
766266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.56ms
766266 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
766266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.1ns
766266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
771424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
771424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
771534 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
771550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.89ms
771550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
776605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
776667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
776683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.95ms