Standard output
269072 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
269072 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
269072 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
269072 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
269072 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.88ms
269072 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 669.9ns
269072 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.6ns
269072 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.17ms
269072 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269087 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269087 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269087 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
269212 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
269212 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
269212 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
269212 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
269822 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
272778 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s
272918 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
272934 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.74ms
275576 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.48s
275623 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
275639 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.88ms
278203 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.11s
278265 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
278281 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.79ms
280829 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.74s
280876 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
280907 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.97ms