Standard output
222746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
222746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.7ns
222746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
225978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
226009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
226009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
226009 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
226025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
226025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns
226025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
229329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
229345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
229360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
229360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'