Standard output
434346 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
434347 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.8ns
434348 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434373 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
434373 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns
434374 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434385 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
434385 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.9ns
434386 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434393 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
434393 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.1ns
434394 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434546 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
434546 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
434547 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
434547 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
435548 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
440188 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s
440248 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
440262 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.43ms
444617 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.22s
444715 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
444723 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.68ms
449032 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.65s
449142 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
449154 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.28ms
453456 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 19.08s
453511 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
453519 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.41ms