Standard output
497870 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
497886 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.5ns
497886 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
497886 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns
497886 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
497886 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
497891 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
497891 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.9ns
498080 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
498080 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
498082 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
498094 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
498095 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
498292 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
498293 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 720.8ns
498297 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
498972 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
504350 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.47s
504522 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
504553 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.65ms
509335 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.04s
509460 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
509492 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.43ms
514406 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.33s
514469 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
514578 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 98.91ms
519542 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.66s
519589 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
519605 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.35ms