Standard output
304683 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
304683 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
304683 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.7ns
304683 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
304686 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.7ns
304686 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.5ns
304686 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
304686 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
304700 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
304700 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
304700 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.2ns
304817 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
304817 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
304817 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
304818 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
304886 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
305377 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
308728 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s
308885 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
308947 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.78ms
311734 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.85s
311797 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
311891 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 85.49ms
314645 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.95s
314708 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
314817 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 92.31ms
317670 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.98s
317717 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
317717 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.21ms