Standard output
352981 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
352981 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
352981 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.19ms
352981 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 949.9ns
352981 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
352981 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.03ms
352981 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
352981 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.16ms
352996 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
352996 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
352996 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
352996 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
353200 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
353200 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
353200 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
353200 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
354216 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
358124 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
358375 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
358515 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.09ms
361877 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.89s
362033 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
362049 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.14ms
365738 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.75s
365801 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
365833 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.7ms
369319 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.32s
369428 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
369428 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.04ms