Standard output
313909 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
313909 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
313909 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
313909 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
313910 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.56ms
313910 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.61ns
313910 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.42ns
313910 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms
313913 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313919 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313919 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
313927 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
314091 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
314091 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
314091 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
314092 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
314848 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
318518 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s
318596 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
318628 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.98ms
321759 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.83s
321828 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
321841 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.56ms
324976 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.06s
325098 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
325111 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.73ms
328211 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.29s
328261 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
328270 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.27ms