Standard output
307708 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
307708 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
307708 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
307724 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 938.7ns
307708 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
307724 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.34ms
307724 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms
307724 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.88ms
307724 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
307724 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
307724 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
307724 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
307865 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
307865 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
307865 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
307865 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
308412 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
312086 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
312540 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
312665 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 105.15ms
315369 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.64s
315588 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
315619 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.96ms
318621 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.89s
318715 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
318746 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.64ms
321779 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.05s
321841 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
321888 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.36ms