Standard output
232721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
232721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.5ns
232721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
236191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
236222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
236222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
236222 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
236253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
236253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns
236269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
239771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
239787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
239787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
239787 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
239802 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
239802 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'