Standard output
351060 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
351060 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
351060 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.6ns
351060 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 582ns
351060 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351076 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351082 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
351082 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.3ns
351087 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351193 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
351194 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.55ms
351250 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351250 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351250 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351250 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351270 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351988 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
355661 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s
355880 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
355896 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.54ms
359104 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.85s
359229 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
359292 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 67.55ms
362442 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.36s
362520 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
362708 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 170.45ms
365848 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.78s
365911 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
365911 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.56ms