Standard output
457117 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
457117 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.3ns
457119 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457128 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
457129 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.1ns
457130 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457139 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
457139 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.9ns
457140 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457146 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
457147 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.29ms
457148 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457336 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
457337 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
457337 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
457338 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
458588 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
464324 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.2s
464405 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
464440 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.9ms
469169 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.02s
469273 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
469291 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ms
473894 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.75s
473977 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
473985 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.44ms
478619 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.49s
478668 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
478675 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.53ms