Standard output
406214 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
406214 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
406215 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
406215 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.1ns
406215 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 461ns
406214 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.6ns
406215 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
406215 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns
406215 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
406215 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
406223 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
406225 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
406395 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
406395 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
406395 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
406395 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
407138 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
411626 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s
411798 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
411845 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.08ms
415795 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.57s
415905 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
415998 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 80.33ms
420114 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.89s
420161 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
420224 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 51.01ms
424300 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.08s
424347 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
424347 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.49ms