Standard output
277504 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
277504 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
277504 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
277504 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
277504 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.8ns
277504 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.1ns
277504 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 989.7ns
277504 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns
277520 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
277520 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
277520 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
277520 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
277645 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
277645 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
277645 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
277645 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
278176 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
281210 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s
281445 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
281460 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ms
283899 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.38s
284039 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
284055 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.19ms
286713 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.2s
286776 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
286791 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.49ms
289324 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.81s
289402 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
289417 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.84ms