Standard output
490944 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
490945 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 859.31ns
490946 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
490946 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.7ns
490947 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
490947 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
490948 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
490948 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.4ns
490949 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
490953 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
490953 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.9ns
490955 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
491179 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
491180 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
491181 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
491181 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
492297 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
497957 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.01s
498060 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
498086 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ms
502987 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.03s
503039 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
503046 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.58ms
508035 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.09s
508139 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
508155 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.85ms
513155 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.21s
513204 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
513211 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.49ms