Standard output
305854 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
305854 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns
305855 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
305855 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
305856 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
305856 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.8ns
305856 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
305857 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.69ms
305858 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
305858 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
305858 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns
305859 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
305992 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
305993 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
305993 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
305993 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
306627 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
310047 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
310158 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
310176 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.31ms
313161 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.3s
313206 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
313212 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ms
316285 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.43s
316372 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
316378 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.81ms
319312 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.46s
319358 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
319364 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.45ms