[SMT-LIB] Problems with benchmarks.

[Paulo J. Matos]

Hello all,

I've been checking the latest benchmarks and 3 of them do not seem to
adhere to the standard (version 1.2).
AUFLIA/misc/set1.smt
AUFLIA/misc/set2.smt
AUFLIA/misc/set3.smt

The problem is always the same. The benchmark names contain the
character '-' which is not allowed in identifiers (simple or indexed).
So probably they should be updated so that '-' becomes a '_'. Right?

Regards,

-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK