Standard output
174603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
174603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.5ns
174603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
177245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
177261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
177261 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
177277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
177277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.6ns
177277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
179918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
179918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
179918 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
179934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
179934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'