Standard output
526692 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
526692 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.6ns
526692 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
526692 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.9ns
526692 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
526692 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
526709 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
526710 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 598.2ns
526720 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
526784 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
526785 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.7ns
526789 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
526948 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
526949 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
526950 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
526950 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
527846 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
533619 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.92s
533853 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
533885 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.99ms
538992 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.21s
539149 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
539196 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.31ms
544389 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.68s
544468 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
544593 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 100.08ms
549839 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.14s
549901 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
549901 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.79ms