Standard output
258245 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
258245 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
258247 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 896.9ns
258248 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms
258247 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
258248 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 977ns
258245 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
258248 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.35ms
258248 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258248 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258248 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258248 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258371 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
258371 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
258371 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
258371 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
258855 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
261795 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s
261857 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
261889 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.2ms
264421 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.18s
264578 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
264593 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.56ms
267219 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.96s
267266 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
267360 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 88.52ms
269705 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.45s
269736 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
269751 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ms