Standard output
457152 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
457152 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
457159 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.2ns
457160 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 598.5ns
457160 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457160 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457170 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
457171 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.4ns
457176 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457190 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
457353 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.45ms
457357 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
457387 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
457387 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
457388 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
457389 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
458313 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
463227 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.07s
463399 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
463430 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.34ms
467428 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.08s
467569 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
467615 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.66ms
471616 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.44s
471725 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
471803 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 61.35ms
475984 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.83s
476031 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
476046 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.08ms