Standard output
499679 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
499679 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.78ms
499679 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
499679 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.33ms
499679 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499710 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499679 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
499711 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 21.26ms
499714 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499797 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
499798 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 809.5ns
499803 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
499941 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
499942 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
499944 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
499944 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
500845 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
506948 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.26s
507167 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
507261 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 84.44ms
512318 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.52s
512458 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
512489 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.59ms
517666 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.95s
517791 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
517869 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 62.75ms
522743 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.04s
522805 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
522805 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.96ms