Standard output
522514 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
522514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns
522514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 509.19ms
523067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
523082 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
523457 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
523554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.67ms
523554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 627.34ms
524226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
524258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.16ms
524273 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
524273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.4ns
524273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
527864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
527926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
527926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
528040 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
528056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.98ms
528056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
531522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
531589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
531605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ms