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

QF_UFNRA (Main Track)

Competition results for the QF_UFNRA division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division: 36
Time Limit: 1200s

Winners

Sequential Performance Parallel Performance
Yices2 Yices2

Result table1

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
CVC4 0.000 17.285 3.317 24
Yices2 0.000 26.642 429.227 12
veriT+raSAT+Redlog 0.000 15.725 675.800 26
z3-4.5.0n 0.000 31.321 115.931 6

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 17.285 3.317 3.318 24
Yices2 0.000 26.642 429.234 429.279 12
veriT+raSAT+Redlog 0.000 15.725 680.862 675.853 26
z3-4.5.0n 0.000 31.321 115.931 115.938 6

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.