Standard output
263395 INFO Thread-37 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
263395 INFO Thread-35 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
263395 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
263395 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
263395 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.28ms
263395 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.58ms
263395 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 577.6ns
263395 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns
263411 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
263411 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
263411 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
263411 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
263521 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
263521 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
263521 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
263521 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
264068 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
267101 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
267210 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
267257 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.42ms
269727 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.31s
269821 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
269836 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.36ms
272384 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.97s
272446 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
272524 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.35ms
275011 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.61s
275058 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
275058 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.26ms