Standard output
367957 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
367957 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
367957 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 775.8ns
367957 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
367957 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.19ms
367957 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms
367957 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
367957 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.32ms
367957 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367957 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367973 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367973 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
368207 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
368207 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
368207 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
368207 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
368974 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
372930 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
373008 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
373133 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.09ms
376462 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.49s
376619 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
376634 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ms
379951 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.98s
380026 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
380042 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.08ms
383544 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.59s
383606 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
383622 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.59ms