Standard output
474642 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
474642 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
474654 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.3ns
474654 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.3ns
474654 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
474654 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
474666 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
474666 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns
474671 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
474673 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
474673 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.7ns
474676 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
474872 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
474873 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
474874 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
474874 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
475789 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
481116 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.46s
481304 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
481522 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 203.63ms
486014 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.34s
486138 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
486217 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 64.57ms
490874 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.21s
490937 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
491077 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 116.74ms
496186 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.52s
496233 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
496233 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.47ms