Standard output
483056 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
483056 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.8ns
483056 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
483056 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns
483056 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
483072 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
483077 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
483077 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns
483081 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
483083 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
483083 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.7ns
483085 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
483256 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
483257 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
483257 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
483257 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
483996 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
489412 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.36s
489568 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
489631 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.02ms
494368 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.28s
494447 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
494525 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 66.51ms
499271 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.2s
499427 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
499505 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 65.27ms
504313 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.25s
504376 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
504376 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.19ms