Standard output
330826 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
330826 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.1ns
330826 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
330826 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns
330826 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
330842 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
330850 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
330850 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.2ns
330853 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
330855 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
330855 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.8ns
330858 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
330987 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
330988 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
330988 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
330988 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
331670 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
335607 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s
336186 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
336295 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 95.66ms
339505 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.66s
339755 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
339787 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.2ms
342975 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.13s
343210 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
343413 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 203.09ms
346517 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.69s
346580 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
346595 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.75ms