/home/consiste/alessandro87/workspace/circus/smt-solvers/veriT/linux/rv@127.0.0.1 
/home/consiste/alessandro87/workspace/circus/smt-solvers/cvc3/cvc3-optimized -lang smtlib@127.0.0.1
/home/alessandro/smt-solvers/cvc3/cvc3-optimized -lang smtlib@10.9.98.154
C:\Users\Alessandro\teste\smt-solvers\z3\z3.exe@10.9.98.3
C:/Users/Alessandro/teste/smt-solvers/z3/z3.exe@10.9.98.3
C:\Users\Alessandro\teste\smt-solvers\z3\z3.exe@10.9.98.3