quick and dirty parsing and preprocessing
preprocess qfeuf in smtlib eval
solver is running