Standard output
337080 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
337080 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 358ns
337080 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
337080 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns
337093 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337093 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337103 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
337104 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 360ns
337109 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337253 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
337253 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
337254 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
337254 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
337308 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
337308 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.8ns
337312 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
337909 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
341633 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
341852 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
341867 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ms
344955 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.65s
345080 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
345158 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 65.84ms
348275 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.17s
348337 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
348431 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 84.18ms
351584 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.5s
351647 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
351647 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.91ms