Standard output
476032 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
476032 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
476032 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 584ns
476032 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.2ns
476042 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
476049 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
476050 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
476051 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.6ns
476055 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
476055 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
476055 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns
476059 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
476267 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
476267 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
476267 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
476268 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
477020 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
482584 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.56s
482834 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
483037 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 193.13ms
487754 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.7s
487895 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
487957 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.99ms
492538 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.5s
492616 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
492741 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 115.47ms
497362 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.31s
497409 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
497409 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.14ms