Standard output
280865 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
280865 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
280865 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 696.3ns
280865 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.6ns
280865 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
280865 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.97ms
280865 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
280865 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.29ms
280865 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280881 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280881 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
280881 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
281037 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
281037 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
281037 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
281037 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
281522 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
284414 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
284477 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
284664 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 153.98ms
287041 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.16s
287181 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
287228 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.96ms
289792 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.92s
289870 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
289870 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.58ms
292262 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.39s
292309 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
292309 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ms