Standard output
515579 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
515579 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 623.9ns
515579 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
515579 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns
515579 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
515579 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
515579 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
515594 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 11.43ms
515597 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
515579 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
515598 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 15.16ms
515601 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
515846 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
515847 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
515848 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
515848 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for Meta
516770 DEBUG Thread-39 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
522644 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.07s
522863 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
522879 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.75ms
528052 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.45s
528162 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
528255 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 85.92ms
533677 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.08s
533771 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
533881 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 87.9ms
539408 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 23.82s
539471 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
539471 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.65ms