Standard output
499886 INFO Thread-37 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
499886 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
499886 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
499886 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 715ns
499886 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.7ns
499886 INFO Thread-39 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
499886 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.55ms
499886 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.39ms
499886 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499886 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499886 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499886 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
500152 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
500152 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
500152 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
500152 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
501105 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
506671 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.78s
506875 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
506922 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.18ms
511723 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.83s
511895 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
511942 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.62ms
516679 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.78s
516774 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
516836 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.65ms
521635 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.74s
521697 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
521697 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.48ms