Standard output
321607 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
321607 INFO Thread-35 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
321607 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.1ns
321607 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms
321607 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321607 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321613 INFO Thread-37 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
321613 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.2ns
321617 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321619 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
321620 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.4ns
321624 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
321781 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321782 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321782 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
321782 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for Meta
322435 DEBUG Thread-35 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
326002 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
326127 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
326330 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 185.12ms
328882 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.27s
328960 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
329069 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 103.96ms
332124 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.51s
332233 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
332421 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 183.81ms
335333 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.72s
335379 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
335379 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.83ms