Standard output
262359 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
262359 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.5ns
262359 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
262359 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
262359 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.71ms
262390 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
262499 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
262500 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.8ns
262503 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
262506 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
262506 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
262507 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
262507 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
262597 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
262597 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns
262600 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
263085 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
266027 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
266184 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
266538 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.31ms
268741 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.15s
268866 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
268944 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 64.19ms
271353 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.85s
271416 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
271556 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 138.72ms
274011 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.62s
274042 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
274058 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.72ms