Standard output
186478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
186478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.2ns
186478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
189241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
189272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
189272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns
189272 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
189288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
189288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns
189288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s
192077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
192077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
192077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
192077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
192077 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'