Standard output
496151 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
496152 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
496153 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms
496155 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496158 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms
496159 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496160 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
496162 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.19ms
496163 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496168 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
496170 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.24ms
496171 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496480 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
496481 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
496481 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
496482 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
497428 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
503041 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.89s
503101 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
503133 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ms
508062 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.89s
508133 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
508143 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.99ms
513238 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.08s
513333 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
513345 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.78ms
518467 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.31s
518529 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
518542 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.55ms