Standard output
321228 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
321228 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.53ms
321228 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321275 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
321275 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.5ns
321290 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321290 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
321290 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.9ns
321290 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321290 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
321290 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns
321290 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321400 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
321400 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
321400 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
321400 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
322087 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
325652 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s
325964 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
326433 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 101.28ms
329044 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.75s
329325 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
329388 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 61.45ms
332280 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11s
332421 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
332452 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ms
335547 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.26s
335610 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
335625 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.21ms