Standard output
367292 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
367292 INFO Thread-37 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
367292 INFO Thread-35 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
367292 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.59ms
367292 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
367292 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.98ms
367292 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns
367308 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.7ns
367308 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367308 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367308 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367308 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
367495 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
367495 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
367495 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
367495 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
368372 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
372592 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s
372874 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
373530 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 139.11ms
376517 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.21s
376782 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
376892 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 99.27ms
380331 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.02s
380427 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
380440 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.09ms
384116 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.81s
384178 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
384210 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.64ms