Standard output
241273 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
241274 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.4ns
241278 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241282 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
241284 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.63ms
241285 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241286 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
241286 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.4ns
241287 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241296 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
241304 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 8ms
241305 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
241398 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
241399 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
241399 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
241399 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
241851 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
244588 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
244643 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
244656 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.73ms
247140 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s
247187 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
247200 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.28ms
249616 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.33s
249666 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
249675 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.94ms
252144 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.86s
252180 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
252185 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ms