Standard output
525359 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
525359 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.2ns
525359 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
525374 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.9ns
525374 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
525374 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
525389 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
525389 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns
525486 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
525497 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
525498 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.3ns
525502 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
525621 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
525621 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
525622 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
525623 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
526608 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
532706 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.34s
532909 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
532987 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 70.38ms
538178 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.68s
538271 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
538334 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 64.9ms
543564 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.09s
543782 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
543923 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 131.14ms
549128 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.75s
549180 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
549180 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.19ms