[SMT-COMP] New benchmark library server

Cesare Tinelli cesare-tinelli at uiowa.edu
Thu Jun 8 03:15:55 EDT 2017

[reposted from smt-lib at googlegroups.com]

Hi all,

We are pleased to officially announce a new service for the SMT-LIB
community. The SMT-LIB benchmark library is now available for download from
the following GitLab server:


The library is broken down in two main groups, respectively for incremental
and non-incremental benchmarks. Within each group, there is a git
repository for each supported logic. The latest official release of each
repository can be found in the latest commit of the master branch.

The GitLab service, which does not require any sign-in, is meant to
facilitate the downloading of benchmarks by logic and the incremental
updating of benchmark repositories via git. Note, however, that the latest
official release of the entire library will continue to be available on
<https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=239> as

The SMT-LIB coordinators

More information about the SMT-COMP mailing list