Standard output
347657 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
347657 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.9ns
347657 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
347657 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 178ns
347657 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347829 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
347829 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
347829 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
347829 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
347876 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347880 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
347880 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.9ns
347886 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
347909 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
347910 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.8ns
347914 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
348560 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
352462 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s
352634 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
352697 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.98ms
355926 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.02s
356067 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
356129 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 55.7ms
359343 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.47s
359530 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
359593 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 50.68ms
362860 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.98s
362907 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
362907 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.49ms