Standard output
299088 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
299088 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
299088 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.5ns
299089 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
299102 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.83ms
299103 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
299104 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
299104 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.8ns
299106 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
299110 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
299110 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.8ns
299112 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
299258 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
299259 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
299260 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
299260 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
299913 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
303204 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s
303258 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
303276 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.33ms
306307 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.19s
306414 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
306429 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.29ms
309358 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.25s
309425 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
309433 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.84ms
312423 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.32s
312467 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
312474 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.89ms