Standard output
405486 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
405486 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
405480 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
405486 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.27ms
405480 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
405486 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.52ms
405487 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
405488 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
405489 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.71ns
405490 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
405490 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.02ns
405493 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
405742 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
405742 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
405743 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
405743 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
406798 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
411370 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.88s
411439 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
411467 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.34ms
415594 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.1s
415717 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
415732 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.08ms
419856 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.37s
419907 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
419918 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.69ms
424110 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.62s
424158 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
424165 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.82ms