Standard output
281702 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
281702 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
281702 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
281703 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
281704 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 810.72ns
281705 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 904.72ns
281706 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.4ms
281708 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
281708 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
281708 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
281718 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.91ns
281721 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
281856 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
281857 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
281857 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
281857 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
282381 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
285752 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s
285861 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
285889 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.41ms
288908 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.19s
288958 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
288974 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.18ms
291820 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.11s
291954 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
291961 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ms
294815 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.11s
294859 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
294865 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.38ms