Standard output
347667 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
347667 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.02ms
347667 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347786 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
347786 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.9ns
347790 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347791 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
347791 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.4ns
347797 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347798 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
347910 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.75ms
347914 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347908 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
347914 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
347915 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
347915 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
348633 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
352505 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
352659 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
352706 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.21ms
355955 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.05s
356049 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
356096 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.04ms
359517 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.73s
359579 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
359673 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 75.08ms
362935 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.15s
362982 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
362982 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.33ms