Standard output
317960 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
317960 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
317960 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
317960 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
317960 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.04ms
317960 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns
317960 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.35ms
317976 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 637.9ns
317976 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317976 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317976 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
317976 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
318132 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
318132 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
318132 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
318132 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
318742 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
322447 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s
322603 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
322665 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.32ms
326027 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.05s
326120 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
326167 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.01ms
329716 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.73s
329779 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
329982 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.71ms
333014 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.03s
333061 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
333076 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.96ms