Standard output
220551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
220551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125ns
220551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
223852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
223868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
223883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
223883 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
223899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
223899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.3ns
223899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
227193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
227209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
227209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
227209 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
227224 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
227224 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'