Standard output
440035 INFO Thread-37 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
440035 INFO Thread-39 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
440035 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
440050 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.5ms
440050 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.8ms
440050 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.4ns
440050 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
440050 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns
440050 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
440050 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
440050 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
440050 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
440285 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
440285 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
440285 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
440285 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
441130 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
446274 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.21s
446460 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
446492 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.25ms
450760 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.7s
450823 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
450854 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.45ms
455201 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.15s
455263 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
455279 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.93ms
459625 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 19.58s
459734 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
459734 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ms