Standard output
267877 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
267877 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.7ns
267877 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
267877 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns
267877 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267877 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267885 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
267885 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns
267887 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
267889 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
267890 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.6ns
267892 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
268003 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
268003 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
268003 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
268003 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
268469 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
271459 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s
271537 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
271662 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 105.09ms
274105 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.22s
274277 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
274308 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.85ms
276801 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.92s
276864 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
276957 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.48ms
279403 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.53s
279450 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
279450 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.18ms