test: separated --smt and --sat; disable --smt tests when yices2 not available
test: separated --smt and --sat; disable --smt tests when yices2 not available

touist/touist,olzd/touist,FredMaris/touist,olzd/touist,touist/touist,touist/touist,FredMaris/touist,olzd/touist,touist/touist,FredMaris/touist