Standard output
374464 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
374464 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
374464 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
374464 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
374464 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.78ms
374464 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms
374464 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.84ms
374464 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374464 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374479 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374479 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 12.33ms
374479 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
374667 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
374667 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
374667 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
374682 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
375496 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
379467 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
379795 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
379920 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 124.25ms
383298 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.82s
383532 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
383537 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ms
387253 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.78s
387364 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
387378 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ms
390881 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.4s
390928 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
390944 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.51ms