Standard output
500936 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
500950 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 560.1ns
500950 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
500950 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.5ns
500950 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
500950 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
500936 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
500957 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.54ms
500964 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
500966 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
500966 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 456ns
500970 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
501210 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
501211 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
501212 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
501212 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
502229 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
507917 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s
508136 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
508151 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.17ms
513164 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 12.2s
513289 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
513383 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 87.29ms
518344 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.39s
518422 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
518547 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 104.01ms
523701 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 22.74s
523748 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
523763 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.09ms