Standard output
325788 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof
325788 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 367ns
325788 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof
325788 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.6ns
325788 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325804 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325817 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof
325817 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 430ns
325821 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325822 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof
325823 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 823.9ns
325826 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325935 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325935 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325936 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325936 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
326488 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
330176 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
330442 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
330754 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 298.69ms
333835 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.01s
333945 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
334007 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 63.69ms
336947 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.13s
337010 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
337150 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 134.92ms
339994 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.19s
340041 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
340041 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.08ms