Standard output
530444 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
530444 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
530444 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.8ns
530444 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.3ns
530444 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
530444 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns
530444 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
530459 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
530463 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
530466 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
530466 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.2ns
530470 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
530748 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
530749 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
530750 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
530750 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
531806 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
537849 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.4s
538036 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
538068 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.06ms
543554 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.09s
543679 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
543757 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 68.44ms
549384 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.92s
549462 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
549525 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.6ms
554832 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 24.38s
554894 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
554894 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.31ms