Standard output
360134 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
360134 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
360134 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
360134 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
360134 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.14ms
360134 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.53ms
360134 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms
360150 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
360150 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
360150 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
360150 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
360150 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
360386 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
360386 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
360386 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
360386 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
361212 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
365403 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s
365606 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
365778 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.03ms
369139 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.99s
369342 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
369357 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.33ms
372796 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.64s
372875 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
373062 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.44ms
376284 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.13s
376331 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
376346 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.87ms