Standard output
322726 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
322727 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
322728 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 803.2ns
322729 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.06ms
322730 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
322730 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322730 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.4ns
322731 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322731 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
322731 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.1ns
322732 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322734 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
322928 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322928 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322929 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
322929 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
323667 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
327459 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s
327573 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
327616 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.13ms
330783 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.05s
330834 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
330850 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ms
334143 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.41s
334200 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
334212 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.31ms
337481 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.75s
337537 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
337543 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.72ms