Standard output
408475 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
408475 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
408475 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.6ns
408475 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 166ns
408475 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
408475 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns
408475 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
408475 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
408484 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
408488 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
408488 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.2ns
408621 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
408695 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
408696 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
408696 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
408696 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
409391 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
413846 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s
414018 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
414049 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.16ms
417946 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.33s
418040 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
418166 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 109.84ms
422014 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.54s
422155 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
422186 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22ms
426209 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.74s
426256 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
426256 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.09ms