[SMTCOMP] Revised benchmark library: updated

[Leonardo de Moura]

Hi,

We updated the benchmark library with the following modifications:

1) removed the spurious ":extrasorts (ANY)" from the benchmarks in  
QF_RDL and QF_IDL

2) fixed invalid benchmark id in QF_IDL/misc/2ba.smt

3) fixed a problem in QF_IDL reported by Hyondeuk Kim. Some  
benchmarks contained
bound constraints (e.g., "(= x_229 1)"). This kind of constraint is  
not allowed in the difference
logic divisions.

Leonardo