Standard output
373776 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
373776 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
373776 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
373776 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2ms
373776 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.4ns
373776 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
373776 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.97ms
373791 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.64ms
373791 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
373791 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
373791 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
373791 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
373963 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
373963 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
373963 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
373963 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
374776 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
378403 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
378669 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
378700 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.66ms
381826 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.03s
381935 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
381951 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.09ms
385336 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.54s
385398 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
385414 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.66ms
388728 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.94s
388774 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
388806 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.27ms