Standard output
505688 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
505688 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 775.8ns
505688 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
505688 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns
505688 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
505688 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.72ms
505688 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
505688 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
505699 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
505706 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
505706 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.8ns
505711 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
505918 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
505919 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
505921 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
505921 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
506958 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
512429 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.74s
512648 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
512664 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.07ms
517925 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.21s
518066 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
518488 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 340.98ms
523654 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.97s
523748 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
523857 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 90.15ms
528686 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 23s
528733 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
528749 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.12ms