Standard output
314795 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
314795 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
314795 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
314795 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.7ns
314795 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 992.8ns
314795 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
314795 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.7ms
314795 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 848.4ns
314795 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314811 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314811 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314811 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314951 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
314951 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
314951 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
314951 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
315592 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
319110 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
319282 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
319313 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.44ms
322221 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.41s
322362 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
322377 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.24ms
325395 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.59s
325489 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
325598 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 109.76ms
328538 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.73s
328585 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
328585 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.83ms