Standard output
371621 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
371637 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.2ns
371621 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
371637 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms
371637 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
371637 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
371637 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.5ns
371637 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
371648 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
371653 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
371655 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.83ms
371659 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
371869 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
371869 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
371869 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
371869 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
372606 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
376701 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s
376904 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
376935 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.71ms
380421 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.77s
380468 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
380593 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 102.85ms
384075 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.43s
384137 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
384153 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.47ms
387720 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.09s
387782 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
387782 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ms