Standard output
527223 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
527223 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
527239 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
527223 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
527239 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.43ms
527239 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.33ms
527239 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 294ns
527239 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.6ns
527239 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
527239 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
527239 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
527239 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
527473 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
527473 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
527473 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
527473 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
528520 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
534149 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.91s
534383 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
534446 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.69ms
539339 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.1s
539511 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
539527 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.61ms
544594 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.34s
544656 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
544672 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.26ms
549800 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.56s
549862 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
549878 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.54ms