Standard output
542388 INFO Thread-37 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
542388 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
542388 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.5ns
542388 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.8ns
542388 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
542404 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
542407 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
542407 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.2ns
542484 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
542493 INFO Thread-39 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
542493 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.7ns
542497 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
542614 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
542615 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
542616 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
542616 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
543538 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
549426 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.04s
549613 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
549691 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 59.1ms
554850 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.37s
555084 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
555131 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.24ms
560433 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.96s
560526 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
560636 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 72.56ms
565929 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.52s
565976 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
565991 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.44ms