Standard output
649587 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
649587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.8ns
649587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
650118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 529.97ms
650150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
650150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
650478 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
650572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.65ms
650572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
651103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 526.35ms
651135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
651166 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.31ms
651166 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
651166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns
651166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
655779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s
655857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
655857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
655982 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
655982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.15ms
655998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
660565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
660643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
660659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.64ms