Standard output
286343 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
286343 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.1ns
286359 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286500 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
286500 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 681.3ns
286500 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286508 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
286508 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.7ns
286516 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
286516 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
286517 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
286517 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
286603 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
286604 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
286604 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.4ns
286619 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
287135 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
290492 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s
290649 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
290695 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.53ms
293338 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.72s
293416 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
293541 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 119.64ms
296406 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.82s
296500 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
296515 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.04ms
299236 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.74s
299290 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
299290 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.25ms