SMT-Exec

The Satisfiability Modulo Theories Execution Service (SMT-Exec)
is a solver execution service provided by the
SMT-LIB
initiative for the benefit of the SMT community. SMT-Exec allows
researchers to configure and execute benchmarking experiments
on SMT solvers.