[SMT-LIB] exit-command in benchmarks

[Andrej Dyck]

Hello again,

regards to the documentation of SMT-LIB 2.0 and the SMT-Competition 
rules there are only several commands specifying a benchmark script. And 
the exit-command is non of them. But I saw in several (->all?) QF_NIA 
benchmarks the exit-command as last command.

Regards,
  Andrej Dyck