Standard output
331979 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
331980 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
331979 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
331981 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms
331981 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
331982 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns
331987 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.1ns
331987 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.61ms
331989 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
331991 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
331992 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
331992 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
332159 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
332159 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
332160 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
332161 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
332812 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
336645 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s
336744 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
336764 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.28ms
340054 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.06s
340184 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
340200 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ms
343505 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.51s
343556 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
343564 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.05ms
346951 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.96s
347001 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
347012 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.76ms