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

UFDTLIA (Main Track)

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

Benchmarks in this division : 303
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
CVC4 0.000 71.659 878.441 230
vampire 4.2 0.000 72.446 931.290 229

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 71.659 878.483 924.216 230
vampire 4.2 0.000 73.112 3010.998 765.066 228

n. Non-competing.

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