Standard output
409311 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
409311 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
409311 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.7ns
409311 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
409327 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 13.56ms
409327 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
409332 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
409332 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.3ns
409335 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
409336 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
409337 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.2ns
409339 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
409496 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
409496 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
409496 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
409496 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
410181 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
414705 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s
414925 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
414925 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.73ms
418790 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.46s
418977 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
418993 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.61ms
422897 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.57s
422975 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
423038 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 50.66ms
427028 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.71s
427075 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
427091 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.99ms