Standard output
241501 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
241503 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.66ms
241502 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
241503 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.4ns
241501 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
241504 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.61ms
241507 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241507 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241511 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241501 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
241511 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.92ms
241514 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241632 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
241632 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
241633 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
241633 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
242061 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
244864 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
244969 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
244994 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.35ms
247508 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.99s
247575 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
247590 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.96ms
249989 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.48s
250027 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
250034 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.64ms
252495 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.99s
252533 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
252537 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.79ms