Standard output
297637 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
297637 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.9ns
297642 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
297654 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
297654 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.3ns
297655 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
297666 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
297666 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.3ns
297667 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
297667 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
297667 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.7ns
297668 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
297790 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
297791 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
297792 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
297792 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
298496 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
301807 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s
301902 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
301921 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.58ms
304842 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.17s
304931 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
304954 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.84ms
307853 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.19s
307942 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
307960 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.72ms
310893 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.24s
310971 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
310981 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.47ms