updated set-info for benchmarks to be compliant with SMT-LIB