Standard output
316923 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
316923 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.5ns
316923 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
316923 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.4ns
316923 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
316923 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
316934 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
316935 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 670.8ns
316940 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
316941 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
316941 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.2ns
316944 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317065 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
317065 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
317065 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
317065 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
317721 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
321175 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s
321394 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
321409 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.15ms
324406 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.47s
324530 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
324624 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 88.98ms
327694 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.76s
327882 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
327897 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.25ms
330911 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.98s
330999 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
331006 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.62ms