Standard output
340119 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
340119 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
340119 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
340119 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.2ns
340119 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.57ms
340119 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
340119 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.9ms
340119 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 318ns
340119 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
340119 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
340119 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
340119 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
340275 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
340275 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
340275 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
340275 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
340884 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
344637 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s
344808 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
344887 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 50.27ms
347920 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.8s
347982 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
347998 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.36ms
351423 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.29s
351548 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
351642 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 93.07ms
354549 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.42s
354596 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
354596 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.41ms