Standard output
486350 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
486350 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 505.1ns
486350 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
486350 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.9ns
486350 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
486350 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
486362 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
486363 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.3ns
486549 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
486554 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
486555 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
486555 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
486556 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
486631 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
486632 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.2ns
486637 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
487338 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
492794 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.45s
492981 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
492996 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ms
497747 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.12s
497887 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
497950 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 55.72ms
502727 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.19s
502805 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
502914 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 90.11ms
507726 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.38s
508954 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
508954 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ms