Standard output
181655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
181655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.1ns
181670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
184456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
184472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
184472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
184472 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
184496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
184496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.2ns
184498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
187249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
187249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
187249 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
187249 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
187249 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'