Standard output
426589 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
426589 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 834.4ns
426589 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
426808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
426808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
426808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
426808 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
427011 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
427011 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.8ns
427011 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
427101 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
427103 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 995.1ns
427107 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
427109 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
427109 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.6ns
427112 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
427827 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
432861 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.26s
433049 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
433127 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 61.32ms
437642 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.53s
437798 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
437845 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.01ms
441836 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.73s
441898 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
441898 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.46ms
445995 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.99s
446042 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
446058 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.49ms