Standard output
415867 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
415867 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
415877 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.8ns
415877 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.6ns
415877 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
415877 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
415886 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
415887 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns
415889 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
415892 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
415892 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.4ns
415896 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
416091 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
416092 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
416092 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
416092 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
416808 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
421601 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s
421741 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
421804 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.55ms
425828 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.95s
426047 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
426110 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.14ms
430036 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.16s
430098 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
430208 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 97.72ms
434253 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.37s
434300 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
434300 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.73ms