SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2015

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

Machine Specifications

The competition will run on the StarExec cluster of machines at the University of Iowa.

The machines have these specifications:

# Starexec stats nodes 0 - 32:
Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz (2393 MHZ)
    10240  KB Cache
    129022 MB main memory

# Starexec stats nodes 33 - 192:
Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz (2393 MHZ)
    10240  KB Cache
    258294 MB main memory

# Software:
OS:	Red Hat Enterprise Linux Workstation release 6.3 (Santiago)
kernel:	2.6.32-431.1.2.el6.x86_64
glibc:	gcc-4.4.6-4.el6.x86_64
	        glibc-2.12-1.132.el6.i686

A StarExec virtual machine image is available here.

The machines have 2 processors each and 4 cores per processor. For the competition, two job-pairs will be run on a given machine at a given time (one on each processor, with 4 cores available), and the available memory will be capped at 61440 MB.

We reserve the right to make software and configuration changes before the competition. Please exercise your solver(s) on a few benchmarks to ensure that they run successfully.