Standard output
379565 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
379565 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
379565 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 749.3ns
379565 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
379565 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms
379565 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
379565 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
379565 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
379565 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.09ms
379565 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
379565 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 938.5ns
379596 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
379736 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
379736 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
379736 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
379736 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
380408 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
384663 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
384756 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
384772 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.76ms
388540 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.95s
388712 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
388743 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.26ms
392447 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.87s
392541 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
392604 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.97ms
396372 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.81s
396419 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
396419 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.48ms