Standard output
319012 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
319013 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 790.71ns
319013 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
319016 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.44ms
319019 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
319022 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
319022 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.4ns
319023 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
319031 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
319031 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
319033 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.82ms
319035 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
319247 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
319247 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
319248 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
319249 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
320419 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
324165 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
324227 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
324261 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.75ms
327602 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.57s
327682 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
327706 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.99ms
331138 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.11s
331233 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
331247 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.43ms
334615 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.59s
334667 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
334675 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.24ms