Standard output
385358 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
385358 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.2ns
385358 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
385358 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns
385358 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
385358 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
385372 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
385373 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.9ns
385377 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
385378 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
385378 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns
385381 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
385534 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
385534 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
385535 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
385535 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
386171 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
390792 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s
390949 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
390996 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.06ms
394596 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.23s
394706 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
394815 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 94.3ms
398416 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.05s
398478 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
398541 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.66ms
402233 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.87s
402279 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
402279 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.23ms