Standard output
269883 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
269883 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
269883 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.8ns
269883 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns
269883 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269883 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269897 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
269897 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns
270008 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
270011 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
270011 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
270011 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
270011 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
270088 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
270089 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.5ns
270092 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
270526 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
273601 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s
273757 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
273804 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.28ms
276321 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.23s
276430 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
276524 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 88.34ms
279077 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.08s
279265 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
279421 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 147.06ms
281862 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.98s
281909 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
281909 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.27ms