Standard output
236459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
236459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.4ns
236459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
240103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
240135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
240135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
240135 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
240166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
240166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.8ns
240166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
244027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
244059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
244059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
244059 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
244059 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
244059 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'