Standard output
354238 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
354238 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
354238 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.7ns
354238 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.82ms
354238 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
354238 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns
354238 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
354238 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.4ns
354254 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
354254 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
354254 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
354254 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
354535 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
354535 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
354535 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
354535 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
355583 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
360023 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.78s
360273 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
360383 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.53ms
363917 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.66s
364292 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
364307 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.55ms
367857 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.61s
367966 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
368044 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.64ms
371623 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.37s
371686 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
371701 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.83ms