Standard output
412795 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
412795 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 716.9ns
412795 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
412795 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms
412795 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
412810 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
412814 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
412815 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns
412817 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
412819 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
412819 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns
412822 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
412975 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
412975 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
412975 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
412975 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
413733 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
418175 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s
418332 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
418379 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.73ms
422340 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.53s
422449 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
422543 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 51.77ms
426537 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.73s
426600 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
426678 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 59ms
430747 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 17.95s
430794 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
430810 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.81ms