Standard output
223213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
223213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.9ns
223229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
226605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
226637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
226637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
226637 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
226652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
226652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.4ns
226652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
229979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s
229995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
229995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
229995 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
230011 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
230011 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'