import subprocess 
import glob
import os
pwd = os.getcwd()

file_names = glob.glob(pwd + "/*.smt2")

for i, val in enumerate(file_names):
	print file_names[i]
	subprocess.call(['../z3/buildd/z3', '-T:30', file_names[i]])
