Standard output
184924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
184924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns
184924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
187697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
187697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
187697 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
187713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
187713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns
187713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
190437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
190437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
190437 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
190437 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
190437 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'