Standard output
531956 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
531956 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
531956 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
531956 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
531956 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.43ms
531956 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns
531956 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms
531956 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.6ns
531956 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
531956 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
531956 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
531972 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
532238 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
532238 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
532238 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
532238 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
533286 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
539386 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.43s
539511 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
539558 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.97ms
544859 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.9s
545188 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
545203 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.92ms
550285 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.33s
550378 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
550441 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.85ms
555710 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.75s
555773 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
555789 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.88ms