SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2012

Rules
Benchmarks
Tools
Specs
Participants
Results
Report

QF_IDL (Main Track)

Benchmarks in this division: 174
Time Limit: 1200s

Non-Competitive Division

Result table1

Solver Score Time
CVC4 1.0rc.3931 124 4734.8
CVC3 2.4.2 81 3326.1
Z3, 2011 winnern 202 251.6

n. Non-competitive.