Standard output
329426 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
329426 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
329426 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
329426 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
329426 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 791.6ns
329426 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 862.2ns
329426 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.87ms
329426 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.06ms
329426 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
329442 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
329442 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
329442 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
329629 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
329629 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
329629 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
329629 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
330333 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
334101 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s
334367 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
334383 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.75ms
337494 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.06s
337556 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
337634 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.84ms
340918 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.47s
341043 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
341137 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 83.93ms
344280 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.84s
344327 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
344343 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.24ms