Standard output
301498 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
301499 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
301498 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
301498 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
301505 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 920.82ns
301509 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.31ns
301509 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.13ms
301509 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.99ms
301512 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
301512 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
301517 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
301530 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
301713 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
301714 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
301714 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
301714 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
302306 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
305792 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
305913 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
305941 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.39ms
309319 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.79s
309367 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
309375 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.48ms
312400 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.88s
312453 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
312468 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.91ms
315552 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.04s
315599 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
315607 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.84ms