Standard output
182569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
182585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns
182585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
185290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
185305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
185305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
185305 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
185321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
185321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.8ns
185321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
188050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
188050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
188050 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
188050 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
188050 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'