Standard output
266698 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
266698 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
266698 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.23ms
266698 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
266698 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
266698 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 401ns
266698 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
266698 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 638.5ns
266698 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
266698 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
266698 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
266713 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
266838 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
266838 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
266838 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
266838 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
267339 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
270418 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s
270606 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
270652 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.23ms
273216 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.52s
273279 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
273341 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.67ms
275937 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.23s
276140 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
276140 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.81ms
278704 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12s
278735 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
278751 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.48ms