Standard output
361315 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
361315 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
361315 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
361315 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
361315 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 993.7ns
361315 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns
361315 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.3ns
361315 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 982.8ns
361315 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
361331 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
361331 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
361331 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
361518 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
361518 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
361518 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
361518 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
362379 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
366412 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
366678 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
366756 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 55.07ms
370008 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.68s
370133 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
370149 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.69ms
373653 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.32s
373935 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
373951 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.61ms
377311 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.98s
377358 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
377374 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.39ms