Standard output
266879 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
266879 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
266879 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
266879 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 876ns
266879 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.2ns
266879 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
266879 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267005 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
267006 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
267006 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
267006 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
267085 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.03ms
267093 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267297 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
267318 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 20.89ms
267323 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267537 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
270550 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
270690 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
270743 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.92ms
273291 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.98s
273369 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
273384 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.27ms
275962 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.88s
276024 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
276024 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 635.4ns
278681 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.79s
278712 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
278712 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 718.8ns