Standard output
247195 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
247195 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 576.4ns
247195 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
247195 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns
247211 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
247211 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
247218 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
247218 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns
247222 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
247223 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
247223 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns
247333 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
247367 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
247367 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
247367 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
247367 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
247700 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
250469 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
250641 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
250672 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.96ms
252889 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s
252967 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
253029 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.41ms
255311 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.1s
255373 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
255373 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.57ms
257807 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.6s
257839 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
257854 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.98ms