Standard output
184201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
184201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns
184201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
186935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
186935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
186935 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
186950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
186950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.2ns
186950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
189645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
189660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
189660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
189660 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
189676 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
189676 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'