Standard output
309277 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
309277 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
309277 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 435ns
309293 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 951.8ns
309293 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
309293 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
309462 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
309463 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
309463 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
309463 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
309557 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
309557 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 198ns
309561 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
309562 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
309562 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.2ns
309564 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
310108 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
313542 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
313764 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
313964 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 182.7ms
316620 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.06s
316713 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
316776 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.34ms
319742 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.18s
319805 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
319898 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 88.41ms
322867 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.57s
322914 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
322914 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.02ms