Standard output
321623 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
321623 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 839.8ns
321623 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321764 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321764 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321764 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321764 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321842 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
321842 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 658.6ns
321842 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321962 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
321963 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 714.4ns
321975 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321977 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
321978 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns
321980 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322458 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
325916 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s
326135 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
326463 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 312.76ms
329301 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.32s
329441 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
329504 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.38ms
332582 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.61s
332722 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
332910 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 175.25ms
335831 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.99s
335878 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
335894 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.64ms