Standard output
414289 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
414290 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 848.15ns
414292 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414304 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
414304 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.01ns
414306 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414306 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
414306 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.91ns
414307 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414312 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
414313 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.92ns
414314 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414465 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
414465 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
414466 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
414466 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for Meta
415406 DEBUG Thread-36 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
420202 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.91s
420245 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
420253 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.55ms
424409 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.09s
424525 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
424548 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.69ms
428601 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.29s
428699 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
428716 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.98ms
432836 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.53s
432879 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
432885 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.85ms