Standard output
403111 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
403111 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.7ns
403111 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
403111 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns
403111 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
403111 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
403111 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
403125 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.07ms
403128 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
403135 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
403135 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns
403137 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
403300 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
403300 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
403301 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
403301 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
404103 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
408543 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s
408715 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
408761 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.08ms
412739 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.61s
412801 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
412864 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 51.13ms
416941 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.82s
417004 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
417191 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 149.92ms
421201 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.08s
421248 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
421248 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.89ms