Standard output
336071 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
336072 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
336071 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
336073 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.55ms
336073 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.19ms
336074 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 657.61ns
336075 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
336076 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.9ns
336081 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336086 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336087 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336088 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336260 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336261 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336264 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336264 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
337101 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
341184 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s
341242 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
341260 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.95ms
344636 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.55s
344785 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
344807 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ms
348012 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.93s
348112 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
348133 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.54ms
351531 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 15.45s
351584 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
351591 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.34ms