Standard output
324463 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
324463 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 827.3ns
324463 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
324479 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
324479 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 210ns
324479 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
324488 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
324489 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.9ns
324491 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
324493 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
324493 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns
324495 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
324633 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
324633 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
324633 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
324633 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
325306 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
328999 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s
329140 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
329327 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 171.79ms
332461 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.97s
332570 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
332648 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 79.89ms
335801 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.31s
335911 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
335989 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 77.57ms
339039 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.57s
339149 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
339149 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.82ms