Standard output
340877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
340877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns
340877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
346003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
346034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
346034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
346034 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
346050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
346050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.1ns
346050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
351168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
351168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
351168 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
351184 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
351184 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'