Standard output
271822 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
271822 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.2ns
271822 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
271822 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns
271822 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
271822 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
271834 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
271834 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.2ns
271842 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
271843 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
271844 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.1ns
271955 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
272060 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272060 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272061 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272061 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
272680 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
275721 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s
275877 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
275939 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 55.89ms
278566 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.62s
278785 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
278848 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 63.93ms
281291 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.46s
282596 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
282721 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 130.6ms
284491 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.66s
284522 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
284538 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.93ms