Standard output
311450 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
311451 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
311451 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
311451 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
311455 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4ms
311455 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.84ms
311455 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.67ms
311457 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
311459 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
311462 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
311463 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 11.74ms
311464 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
311618 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
311618 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
311618 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
311619 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
312673 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
316545 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
316603 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
316649 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.63ms
319965 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.5s
320016 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
320028 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.54ms
323310 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.85s
323407 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
323427 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.43ms
326717 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.26s
326772 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
326782 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.73ms