Hello all, I'm writing just to signal that the new benchmarks in the smtlib-predabs.tar.gz tarball seem to be malformed: they all contain one extra ')' character at the end of the file... Alberto