Standard output
325089 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
325089 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.1ns
325090 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
325090 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.3ns
325092 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325098 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325115 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
325115 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.8ns
325116 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325117 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
325118 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 883.21ns
325120 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
325260 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325261 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325262 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
325262 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
326129 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
330045 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
330098 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
330110 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.36ms
333544 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.42s
333594 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
333602 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.32ms
337010 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.89s
337121 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
337138 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.5ms
340482 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.38s
340532 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
340539 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ms