Standard output
259784 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
259784 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.6ns
259784 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
259784 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns
259784 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
259784 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
259796 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
259796 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns
259798 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
259799 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
259799 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.1ns
259801 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
259959 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
259960 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
259960 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
259960 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
260448 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
263424 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
263627 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
263987 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 339.88ms
266134 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
266368 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
266384 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.39ms
268810 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 9.02s
268936 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
269029 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 92.73ms
271457 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.67s
271489 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
271520 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.76ms