Standard output
348825 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
348825 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
348825 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
348825 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.6ns
348825 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.81ms
348825 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
348825 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns
348825 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms
348825 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
348825 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
348840 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
348840 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
349012 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
349012 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
349012 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
349012 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
349747 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
353578 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s
353734 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
353828 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 93.58ms
357204 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.36s
357329 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
357423 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 79.45ms
360910 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.08s
360989 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
361176 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 175.33ms
364242 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.41s
364304 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
364304 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.09ms