Standard output
313498 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
313498 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
313498 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.8ns
313498 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns
313514 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
313514 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns
313514 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313514 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313526 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313529 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
313653 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
313654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
313654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
313654 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
313719 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.39ms
313723 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314337 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
317769 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
317925 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
318175 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 188.38ms
321022 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.31s
321100 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
321162 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 60.19ms
324361 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.84s
324439 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
324564 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 113.28ms
327668 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.15s
327699 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
327715 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.77ms