Standard output
275190 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
275190 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
275190 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 421ns
275190 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns
275205 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
275205 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
275208 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
275208 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.4ns
275213 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
275217 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
275337 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
275337 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
275338 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
275338 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
275407 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.38ms
275410 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
275955 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
278988 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
279145 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
279191 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.54ms
281834 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.43s
281928 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
282037 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 89.8ms
284631 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.42s
284693 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
284834 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 133.79ms
287491 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.29s
287523 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
287538 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.47ms