Standard output
327937 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
327937 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.8ns
327937 INFO Thread-37 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
327937 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns
327937 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
327937 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
327949 INFO Thread-35 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
327950 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.8ns
327962 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
327964 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
327964 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.4ns
327966 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
328111 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
328112 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
328112 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
328112 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
328788 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
332400 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s
332540 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
332603 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 63.32ms
335671 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.71s
335750 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
335875 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 109.89ms
338776 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.82s
338838 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
338917 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 71.47ms
341935 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.99s
341982 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
341997 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ms