Standard output
196453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
196453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.8ns
196453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
199221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s
199252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
199252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
199252 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
199268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
199268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.5ns
199268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
202144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s
202159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
202159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
202159 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
202159 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
202159 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'