Standard output
272855 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
272871 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 613.2ns
272871 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
272871 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns
272871 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
272871 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
272855 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
272881 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 10.43ms
272884 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
272886 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
272887 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms
272889 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
272999 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272999 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272999 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272999 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
273621 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
276556 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s
276681 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
276760 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 59.57ms
279276 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.39s
279463 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
279495 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.85ms
282040 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.16s
282102 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
282243 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 133.15ms
284794 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.92s
284825 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
284841 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.51ms