Standard output
342703 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
342703 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.2ns
342703 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
342703 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
342703 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns
342718 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
342892 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
342892 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
342892 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
342892 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
342922 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
342922 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.6ns
342925 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
342927 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
342927 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns
342931 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
343722 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
347512 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s
347762 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
347793 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ms
350882 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.95s
350991 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
351069 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 67.04ms
354211 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.29s
354414 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
354477 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.35ms
357625 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.91s
357672 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
357688 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.13ms