Standard output
258839 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
258839 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.5ns
258839 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
258839 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
258839 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.2ns
258839 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258839 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258851 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.7ms
258853 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258855 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
258855 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.6ns
258857 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
258959 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
258960 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
258960 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
258960 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for Meta
259499 DEBUG Thread-38 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
262304 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
262413 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
262694 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 270.35ms
264942 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.09s
265036 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
265130 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 79.61ms
267578 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 8.73s
267625 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
267703 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 78.35ms
270252 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.4s
270283 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
270283 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.74ms