Standard output
278466 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
278466 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 648.7ns
278466 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
278466 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns
278466 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
278466 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms
278466 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
278466 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
278484 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
278485 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
278486 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.2ns
278610 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
278610 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
278611 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
278611 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
278679 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
279191 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
282329 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
282438 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
282532 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 79.22ms
285099 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.43s
285193 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
285255 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.45ms
287870 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.39s
287933 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
287964 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.19ms
290494 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.03s
290541 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
290557 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.67ms