Standard output
518466 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
518466 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
518477 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.8ns
518466 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
518477 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.56ms
518478 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms
518478 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
518478 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
518489 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
518578 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
518579 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms
518583 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
518754 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
518755 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
518756 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
518756 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
519687 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
525475 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7s
525647 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
525679 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.98ms
530806 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.23s
530884 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
531009 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 120.53ms
536083 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.6s
536161 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
536286 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 111.46ms
541390 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.91s
541453 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
541453 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.62ms