Standard output
326196 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
326196 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
326196 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
326197 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
326203 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
326203 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.96ms
326203 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.57ms
326206 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326210 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326211 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326215 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 18.47ms
326216 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326383 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
326383 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
326384 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
326384 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
327381 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
331046 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
331100 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
331127 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.37ms
334538 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.32s
334650 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
334673 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.21ms
338000 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.79s
338051 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
338058 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.33ms
341438 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.23s
341493 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
341501 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.34ms