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

UFNIA (Main Track)

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

Benchmarks in this division : 3308
Time Limit: 1200s

Winners

Sequential Performance Parallel Performance
vampire 4.2 vampire 4.2

Result table1

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
CVC4 0.000 1888.417 527.996 1119
vampire 4.2 0.000 2249.798 434.657 772
z3-4.5.0n 0.000 1801.959 428.506 1111

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 1888.417 528.665 582.539 1119
vampire 4.2 0.000 2271.465 1298.366 330.451 747
z3-4.5.0n 0.000 1801.959 428.507 428.985 1111

n. Non-competing.

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