Standard output
335937 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
335937 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
335937 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.9ns
335938 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.5ns
335938 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335938 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335950 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
335950 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.9ns
335955 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
335959 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
335960 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.34ms
335963 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
336106 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336106 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336106 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336106 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
336821 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
340566 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s
340737 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
340769 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.93ms
343832 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.88s
343941 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
344035 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 78.06ms
347386 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.43s
347450 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
347512 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.67ms
350576 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.64s
350623 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
350639 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.77ms