Standard output
320255 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
320255 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.7ns
320256 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
320256 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
320257 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 477ns
320258 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
320273 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
320274 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.2ns
320275 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
320283 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
320284 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.5ns
320288 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
320416 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
320416 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
320417 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
320417 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321095 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
324685 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s
324744 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
324764 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.53ms
327913 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.63s
328004 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
328025 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.04ms
331202 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.93s
331289 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
331305 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.98ms
334391 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.13s
334435 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
334442 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.99ms