SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2017

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

Competition-Wide Scoring for the Main Track

Competition results as of Fri Jul 21 10:18:02 GMT

Sequential PerformancesParallel Performances
Rank Solver Score
- z3-4.5.0n 171.99
1 CVC4 161.38
2 Yices2 110.63
3 SMTInterpol 65.96
4 veriT 62.57
5 vampire 4.2 42.72
6 Boolector 29.12
- mathsat-5.4.1n 21.59
7 SMTRAT 17.27
8 veriT+Redlog 13.51
9 Redlog 12.39
10 Boolector+CaDiCaL 8.19
11 MinkeyRink 8.09
12 stp_st 7.89
13 veriT+raSAT+Redlog 7.64
14 stp_mt 7.48
15 Q3B 7.05
16 AProVE 1.07
17 opensmt2 -21.35
18 xsat -42.42
19 COLIBRI -42.42
Rank Solver Score
- z3-4.5.0n 171.99
1 CVC4 161.76
2 Yices2 110.63
3 SMTInterpol 66.00
4 veriT 62.57
5 vampire 4.2 43.97
6 Boolector 29.23
- mathsat-5.4.1n 21.59
7 SMTRAT 17.27
8 veriT+Redlog 13.51
9 Redlog 12.39
10 MinkeyRink 8.39
11 Boolector+CaDiCaL 8.19
12 stp_mt 8.09
13 stp_st 7.89
14 veriT+raSAT+Redlog 7.64
15 Q3B 7.18
16 AProVE 1.07
17 opensmt2 -21.35
18 xsat -42.42
19 COLIBRI -42.42

n. Non-competing.