Standard output
281800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
281800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns
281800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s
285962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
285962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
285962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
285978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
285978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns
285978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
290066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s
290081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
290097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
290097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
290097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
290097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'