Standard output
296323 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
296324 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
296325 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.24ms
296323 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
296324 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
296326 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 985.13ns
296327 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296326 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296331 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.06ms
296339 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.01ms
296340 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296340 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296466 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
296466 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
296467 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
296467 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
296986 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
300404 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s
300507 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
300531 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.37ms
303532 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.19s
303577 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
303585 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.35ms
306555 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.22s
306662 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
306672 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.85ms
309584 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.26s
309629 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
309636 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.46ms