Standard output
286425 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
286425 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.5ns
286426 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286439 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
286440 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.5ns
286441 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286450 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
286451 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.1ns
286452 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286453 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
286453 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.2ns
286454 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286548 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
286548 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
286549 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
286549 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
287216 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
290410 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s
290570 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
290690 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 111.49ms
293496 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.04s
293541 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
293554 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.98ms
296577 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.12s
296680 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
296741 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.65ms
299709 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.27s
299755 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
299766 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.02ms