Standard output
414192 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
414192 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.2ns
414192 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
414207 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.5ns
414207 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414207 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
414207 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns
414254 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414267 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
414375 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
414376 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
414376 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
414376 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
414401 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
414401 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.9ns
414404 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
415078 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
419532 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
419657 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
419736 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.41ms
423631 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.23s
423694 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
423741 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.51ms
427767 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.5s
427814 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
427892 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.02ms
431939 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.67s
431982 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
431982 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.61ms