Standard output
434694 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
434694 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.07ns
434695 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434696 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
434698 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.71ms
434700 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
434700 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.69ns
434700 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434701 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434701 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
434701 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.29ns
434702 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
434899 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
434899 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
434900 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
434900 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
435949 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
441199 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.5s
441261 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
441281 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.58ms
446083 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.38s
446189 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
446203 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.03ms
450674 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.97s
450766 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
450783 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.85ms
455202 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 20.5s
455250 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
455257 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.39ms