Standard output
199346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
199346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330ns
199346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
202193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
202209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
202209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
202224 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
203460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
203460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns
203460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s
206449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
206449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
206449 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
206465 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
206465 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'