This website contains benchmarks suites and for Ground Decision Procedures (GDP).
The following GDPs are analyzed: ICS,
UCLID
CVC,
CVC Lite,
SVC,
Simplify, and
MATH-SAT.
All these GDPs are freely available and distributed, and
in each case we have been using the latest version (as of January 10, 2004).
Last modified: Sat Jan 24 19:15:47 PST 2004
by Leonardo de Moura