Standard output
349732 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
349732 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
349733 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
349737 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
349740 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 835.9ns
349742 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
349747 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.06ms
349748 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
349749 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns
349750 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
349752 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.3ms
349754 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
349932 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
349932 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
349933 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
349933 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
350966 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
355014 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s
355077 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
355127 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.82ms
358735 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.98s
358794 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
358817 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.35ms
362470 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.72s
362525 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
362535 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.92ms
366164 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.42s
366214 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
366225 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ms