Standard output
193228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
193228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.5ns
193228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
196091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
196091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
196091 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
196106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
196106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.5ns
196106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
198980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s
198996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
199012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
199013 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
199018 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
199020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'