Standard output
262635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
262635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.8ns
262650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
266309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
266340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
266340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
266340 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
266356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
266356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.1ns
266372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
269889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s
269905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
269905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
269905 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
269920 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
269936 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'