Standard output
351320 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
351320 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
351320 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.5ns
351320 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.16ms
351320 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351320 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351335 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
351335 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 119ns
351498 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
351493 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351499 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351499 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351499 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
351540 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
351541 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.26ms
351545 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
352266 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
356074 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s
356261 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
356496 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 191.41ms
359649 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.11s
359883 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
359899 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.31ms
363274 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.79s
363353 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
363399 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.23ms
367063 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.74s
367110 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
367125 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.33ms