Hey all, I would like to know whether there is a common way to execute the tarballs of the solvers at the smtcomp website??(For example is it using using the associated shell script??) Yours, Mohammad Abdul Aziz