Standard output
257323 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
257323 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
257323 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.5ns
257323 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 141ns
257323 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
257323 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.1ns
257323 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
257323 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
257338 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
257338 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
257339 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.9ns
257341 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
257491 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
257491 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
257491 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
257491 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
257934 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
260789 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
260820 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
260977 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 137.67ms
263381 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.05s
263475 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
263569 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 90.57ms
265920 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.59s
265951 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
265966 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ms
268619 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.3s
268665 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
268665 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.84ms