Standard output
507413 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
507413 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
507412 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
507414 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.46ms
507414 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.9ns
507416 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
507414 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 996ns
507422 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
507422 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
507413 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
507426 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.48ms
507427 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
507672 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
507677 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
507678 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
507678 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
508896 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
514502 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.09s
514650 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
514694 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.08ms
519890 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.46s
519962 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
519988 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.93ms
525294 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.87s
525397 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
525429 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.74ms
530823 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.4s
530880 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
530888 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.21ms