Standard output
296391 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
296392 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 574.2ns
296394 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296397 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
296409 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
296411 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.98ms
296412 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296414 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 14.29ms
296414 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296417 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
296417 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.4ns
296418 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
296542 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
296543 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
296544 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
296544 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
297183 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
300501 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s
300554 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
300568 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.32ms
303531 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.11s
303577 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
303597 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.92ms
306625 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.21s
306672 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
306680 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.19ms
309819 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.41s
309868 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
309875 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.89ms