Standard output
322503 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
322503 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
322504 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.1ns
322504 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns
322504 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322504 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322508 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
322508 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns
322511 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322516 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
322517 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 957ns
322520 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322652 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322652 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322652 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322653 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
323243 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
326916 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
327057 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
327103 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.31ms
330130 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.62s
330224 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
330287 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.75ms
333401 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.9s
333464 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
333479 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.85ms
336659 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.16s
336705 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
336705 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.64ms