Standard output
335842 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
335842 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
335842 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
335842 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
335858 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.26ms
335858 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.84ms
335858 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.86ms
335858 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.44ms
335858 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335858 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335873 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335873 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336030 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336030 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336030 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336030 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336795 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
340515 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s
340874 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
341000 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 81.76ms
343766 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.89s
344016 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
344126 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 99.72ms
346862 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.99s
346987 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
347018 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.6ms
349957 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.09s
350020 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
350067 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.87ms