Standard output
421308 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
421308 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
421308 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
421308 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
421308 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.73ms
421308 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.5ms
421323 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
421323 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
421308 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.7ns
421323 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
421323 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.59ms
421339 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
421527 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
421527 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
421527 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
421527 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
422293 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
426967 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s
427188 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
427405 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.75ms
431251 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.92s
431377 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
431439 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 47.53ms
435630 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.29s
435740 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
435740 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.86ms
439946 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.63s
440008 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
440008 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ms