Standard output
335784 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
335784 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 919.2ns
335784 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
335784 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns
335784 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
335784 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.4ns
335800 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335800 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335800 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
335800 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.9ns
335800 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335800 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335987 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
335987 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
335987 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
335987 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336753 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
340537 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s
340677 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
340709 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.39ms
343992 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.18s
344117 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
344133 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.92ms
347338 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.53s
347401 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
347417 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.33ms
350747 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.95s
350794 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
350809 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.73ms