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

AUFLIRA (Main Track)

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

Benchmarks in this division : 20011
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 16994.066 194.176 245
vampire 4.2 0.000 17000.554 182.289 236
veriT 0.000 15048.209 274.151 695
z3-4.5.0n 0.000 17825.301 93.876 162

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 16994.066 194.582 196.267 245
vampire 4.2 0.000 17023.398 566.569 150.762 233
veriT 0.000 15048.209 274.694 274.181 695
z3-4.5.0n 0.000 17825.301 93.876 93.959 162

n. Non-competing.

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