Standard output
499090 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
499090 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.9ns
499090 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
499090 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 970.7ns
499090 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
499090 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns
499106 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499106 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499115 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499307 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
499307 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 711.8ns
499311 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499330 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
499330 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
499331 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
499331 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
500170 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
505786 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.68s
505958 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
505989 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.31ms
510785 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.49s
510848 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
510910 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 62.51ms
515772 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.66s
515859 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
515976 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 100.95ms
520756 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.65s
520803 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
520818 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.41ms