Standard output
480809 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
480809 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.8ns
480811 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
480815 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
480815 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.7ns
480816 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
480817 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
480817 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.3ns
480819 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
480820 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
480820 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.8ns
480821 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
481051 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
481051 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
481052 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
481052 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
482253 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
487779 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s
487848 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
487865 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.38ms
492832 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.01s
492892 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
492903 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.05ms
497851 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.03s
497960 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
497979 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.96ms
502815 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 22s
502865 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
502872 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.88ms