Standard output
399497 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
399497 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
399497 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
399497 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
399497 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms
399497 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms
399497 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms
399497 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
399497 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
399513 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
399497 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns
399513 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
399685 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
399685 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
399685 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
399685 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
400357 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
404798 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
404938 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
404970 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.55ms
408770 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.26s
408848 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
408911 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.13ms
412787 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.28s
412865 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
412896 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.68ms
416805 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.29s
416851 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
416851 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.18ms