Standard output
334249 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
334249 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
334249 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
334249 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.17ms
334249 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 979.8ns
334249 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
334249 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.54ms
334249 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.41ms
334264 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
334264 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
334280 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
334373 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
334436 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
334436 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
334436 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
334436 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
335233 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
339003 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s
339190 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
339221 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.6ms
342551 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.17s
342629 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
342645 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.95ms
345912 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.63s
346178 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
346197 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.48ms
349322 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.06s
349385 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
349400 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.63ms