Standard output
461584 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
461585 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.7ns
461586 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
461597 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
461597 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns
461598 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
461607 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
461608 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.2ns
461618 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
461619 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
461619 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.7ns
461621 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
461807 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
461808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
461808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
461808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
462910 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
467872 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.29s
467927 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
467940 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.65ms
472652 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.03s
472770 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
472783 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.22ms
477443 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.83s
477524 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
477532 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.55ms
482259 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 20.66s
482314 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
482321 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.58ms