Standard output
282167 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
282174 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.9ns
282174 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
282174 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns
282174 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
282174 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
282174 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 14.87ms
282220 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
282230 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
282302 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
282302 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
282302 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
282302 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
282398 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
282398 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns
282401 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
282831 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
285886 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s
286043 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
286089 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.19ms
288602 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.2s
288727 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
288805 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 72.99ms
291294 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.08s
291356 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
291387 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.91ms
294077 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.86s
294124 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
294124 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.52ms