Standard output
265155 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
265155 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
265155 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 419ns
265155 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
265155 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms
265155 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
265155 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 882.3ns
265155 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.23ms
265171 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
265171 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
265171 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
265171 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
265296 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
265296 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
265296 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
265296 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
265812 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
268828 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
268907 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
268938 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.09ms
271486 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.32s
271658 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
271674 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.96ms
274128 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.96s
274191 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
274191 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.82ms
276911 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.74s
276957 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
276973 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.99ms