Standard output
336429 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
336430 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.5ns
336430 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
336431 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.2ns
336432 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336432 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336433 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
336435 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.23ms
336436 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336437 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
336437 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.7ns
336438 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336579 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
336580 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
336581 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
336581 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
337552 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
341244 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s
341306 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
341324 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.88ms
344608 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.17s
344675 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
344689 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.26ms
348050 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.61s
348141 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
348156 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ms
351469 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.04s
351515 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
351522 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.06ms