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.

If you are new to SMT, you might want to start with the introduction.

For information about the annual SMT competition (SMT-COMP), including information about this year's competition, please visit smtcomp.org.

• Introduction to SMT and SMT-Exec
• Tools
• Machine Specifications
• SMT-LIB 1.2 Benchmarks
• SMT-LIB 2.0 Benchmarks
• Login to SMT-Exec
• Use SMT-Exec anonymously (access only to public results)
• Acknowledgments
• SMT-COMP
• SMT-LIB

Last modified: Fri 07 May 2010 11:15 CDT