Standard output
337844 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
337844 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.2ns
337860 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337875 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
337875 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms
337875 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337885 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
337886 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns
337892 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
338080 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
338080 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
338081 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
338081 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
338120 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
338120 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns
338126 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
339339 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
343858 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6s
344092 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
344296 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 189.32ms
347483 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.36s
347593 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
347655 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.16ms
351112 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.23s
351190 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
351206 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.64ms
354497 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.63s
354544 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
354560 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ms