Standard output
208128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
208128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.8ns
208128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
211390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
211421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
211421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
211421 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
211436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
211436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns
211436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
214587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s
214603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
214603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
214603 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
214603 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
214603 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'