Standard output
258863 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
258863 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.2ns
258864 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
258864 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258867 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 568.3ns
258868 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258876 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
258876 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.8ns
258877 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258881 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
258881 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.9ns
258881 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
259019 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
259020 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
259021 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
259021 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
259510 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
262446 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s
262518 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
262535 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.15ms
265370 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.49s
265417 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
265424 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.14ms
268064 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.19s
268134 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
268139 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.37ms
270833 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.97s
270897 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
270903 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.34ms