Standard output
374451 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
374451 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
374451 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
374451 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
374451 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.22ms
374451 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns
374451 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.4ns
374466 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.34ms
374466 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374466 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374466 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374466 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
374654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
374654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
374654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
375561 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
379704 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s
380001 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
380064 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.03ms
383597 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.13s
383659 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
383737 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.95ms
387754 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.28s
387817 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
387895 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.11ms
391444 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.98s
391507 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
391507 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.25ms