Standard output
326696 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
326696 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
326696 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.6ns
326696 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 676.8ns
326696 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326696 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326696 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
326709 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.18ms
326715 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
326715 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
326715 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 949.7ns
326855 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
326855 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
326855 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
326855 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
326902 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
327631 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
331066 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s
331238 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
331285 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.93ms
334420 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.53s
334576 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
334748 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 156.36ms
337832 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.12s
337879 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
337897 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.65ms
341361 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.66s
341408 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
341424 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ms