Standard output
317891 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
317891 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
317893 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 702.4ns
317893 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 993.91ns
317894 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317894 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317895 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
317896 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.35ms
317895 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
317901 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.85ms
317900 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317902 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
318082 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
318082 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
318082 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
318082 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
319023 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
322573 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
322697 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
322737 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.87ms
325879 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.98s
325931 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
325952 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.13ms
329366 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.47s
329416 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
329426 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.22ms
332924 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.03s
332975 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
332981 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.65ms