Standard output
294927 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
294943 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.19ms
294943 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
294943 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.62ms
294943 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
294943 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
294943 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
294959 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 16.44ms
294963 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
294966 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
294967 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 516.6ns
294970 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
295121 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
295121 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
295121 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
295121 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
295751 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
298700 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
298903 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
298950 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.18ms
301449 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.49s
301527 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
301605 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 71.25ms
304265 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.31s
304453 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
304468 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.35ms
307015 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.06s
307046 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
307062 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.62ms