Standard output
397629 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
397629 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
397629 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 736.6ns
397629 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
397629 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.79ms
397629 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
397629 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.34ms
397629 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.5ns
397629 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397644 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397644 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397644 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
397816 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397816 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397816 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
397816 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
398473 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
402725 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s
402959 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
402975 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.15ms
406587 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.96s
406697 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
406712 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.09ms
410464 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.83s
410542 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
410589 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.05ms
414403 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.76s
414450 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
414450 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.55ms