Standard output
363394 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
363394 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
363394 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.5ns
363409 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.43ms
363409 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
363409 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns
363409 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
363409 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
363422 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
363432 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
363433 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms
363437 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
363583 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
363583 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
363584 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
363584 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
364292 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
368373 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
368560 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
368592 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.17ms
371960 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.52s
372085 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
372147 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.45ms
375567 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.16s
375645 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
375677 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.04ms
379101 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.69s
379147 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
379163 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.26ms