Standard output
425950 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
425950 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.3ns
425950 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
425950 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.3ns
425950 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
425965 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
426060 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
426061 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 794.8ns
426065 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
426071 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
426071 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.3ns
426073 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
426194 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
426194 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
426194 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
426195 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
426969 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
431583 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s
431740 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
431833 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 81.4ms
435802 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.74s
435927 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
435989 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 68.46ms
440029 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.97s
440107 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
440185 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.46ms
444314 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.35s
444361 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
444361 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.91ms