Standard output
496233 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
496233 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
496233 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 747.8ns
496233 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns
496249 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496249 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496252 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
496252 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.9ns
496264 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496266 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
496294 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Environment load took 27.63ms
496298 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Creating init config
496464 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496465 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496466 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
496466 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
497400 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
502770 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 6.53s
502958 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
502973 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.95ms
507991 DEBUG Thread-39 d.u.i.k.p.i.AbstractProblemLoader Init config took 11.7s
508132 INFO Thread-39 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
508194 DEBUG Thread-39 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.14ms
512836 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 16.58s
512914 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
513039 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 108.71ms
517692 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 21.46s
517755 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
517755 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.12ms