Standard output
280035 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
280035 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.6ns
280036 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280039 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
280039 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.6ns
280040 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280047 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
280047 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.4ns
280048 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280065 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
280066 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 319ns
280067 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280187 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
280187 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
280188 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
280188 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
280745 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
283687 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
283798 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
283824 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.58ms
286422 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.36s
286498 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
286517 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.34ms
289172 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.12s
289243 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
289258 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.32ms
291977 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.94s
292014 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
292019 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.92ms