Standard output
496704 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
496704 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
496704 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.2ns
496704 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
496704 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.21ms
496720 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496720 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496704 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
496720 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 5.56ms
496704 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.56ms
496720 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496735 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496955 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496955 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496955 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496955 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
497940 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
503458 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.75s
503536 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
503567 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.33ms
508524 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.8s
508758 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
508806 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.27ms
513606 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.88s
513716 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
513778 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.06ms
518579 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.87s
518642 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
518657 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.85ms