Standard output
419161 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
419162 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
419163 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms
419163 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
419163 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.3ns
419164 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.16ms
419165 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
419165 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
419165 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
419167 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
419168 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns
419169 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
419341 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419341 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419342 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419343 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
420121 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
424777 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
424912 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
424972 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.56ms
429154 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.99s
429213 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
429223 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ms
433506 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.34s
433553 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
433572 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.97ms
437879 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.71s
437927 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
437934 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.68ms