Standard output
397203 INFO Thread-39 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
397203 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 574.1ns
397203 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
397203 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns
397203 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397203 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397203 INFO Thread-37 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
397219 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.38ms
397224 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397224 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
397225 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.4ns
397361 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397387 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397388 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397388 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397388 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
398088 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
402525 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
402650 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
402728 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 55ms
406543 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.18s
406684 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
406746 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 50.83ms
410612 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.4s
410690 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
410705 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.21ms
414749 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.54s
414796 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
414796 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.51ms