Standard output
323137 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
323137 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.6ns
323137 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
323137 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns
323137 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Creating init config
323137 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Creating init config
323154 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
323154 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.9ns
323307 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
323308 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
323308 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
323308 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for Meta
323368 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Creating init config
323952 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
323952 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.6ns
323952 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Creating init config
324296 DEBUG Thread-37 d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
327885 DEBUG Thread-37 d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s
328041 INFO Thread-37 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
328119 DEBUG Thread-37 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.61ms
331089 DEBUG Thread-38 d.u.i.k.p.i.AbstractProblemLoader Init config took 7.13s
331182 INFO Thread-38 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0
331292 DEBUG Thread-38 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 111.71ms
334306 DEBUG Thread-35 d.u.i.k.p.i.AbstractProblemLoader Init config took 10.94s
334400 INFO Thread-35 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
334775 DEBUG Thread-35 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 364.02ms
337570 DEBUG Thread-36 d.u.i.k.p.i.AbstractProblemLoader Init config took 14.43s
337632 INFO Thread-36 d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0
337632 DEBUG Thread-36 d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.39ms