Standard output
511687 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
511687 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 632.4ns
511687 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
511702 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.9ns
511702 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
511702 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
511687 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
511714 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.76ms
511718 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
511721 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
511721 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns
511725 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
512037 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
512038 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
512039 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
512039 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
512946 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
518676 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s
518911 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
518926 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.82ms
523883 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.17s
524039 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
524086 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.16ms
529148 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.44s
529289 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
529367 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 67.67ms
534284 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.58s
534330 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
534346 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.68ms