Standard output
388300 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
388300 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
388300 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.9ns
388300 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
388316 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 937.5ns
388316 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.3ns
388300 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
388316 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.97ms
388316 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
388316 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
388316 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
388316 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
388487 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
388487 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
388487 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
388487 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
389160 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
393537 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s
393646 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
393662 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.62ms
397696 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.39s
397806 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
397821 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.39ms
402167 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 13.85s
402292 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
402292 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.72ms
406797 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 18.48s
406859 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
406875 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.96ms