Standard output
284255 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
284255 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
284255 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
284255 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
284270 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms
284270 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
284270 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.82ms
284270 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 798.3ns
284270 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
284270 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
284270 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
284270 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
284411 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
284411 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
284411 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
284411 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
285052 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
288132 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s
288273 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
288445 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 156.56ms
290977 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.69s
291102 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
291118 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.28ms
293713 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.44s
293806 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
293806 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.52ms
296402 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.12s
296434 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
296449 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.41ms