Standard output
168128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
168128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns
168128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
170618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s
170633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
170633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
170633 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
170649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
170649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.6ns
170649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
173107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s
173123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
173123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
173123 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
173123 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
173123 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'