Use "int" for Z3 benchmark parameter