Standard output
418840 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
418840 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.5ns
418840 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
418840 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.5ns
418855 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
418855 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.1ns
418855 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
418855 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
418863 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
418868 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
418868 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns
418871 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
419035 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419035 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419036 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419036 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
419793 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
424783 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.94s
424955 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
425002 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.93ms
429061 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.2s
429171 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
429264 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 81.96ms
433367 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.5s
433430 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
433508 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.42ms
437677 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.83s
437724 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
437740 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.94ms