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

UFDT (Main Track)

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

Benchmarks in this division: 4535
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
CVC4 0.000 2541.990 542.975 2033
vampire 4.2 0.000 2320.945 602.588 2286

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
CVC4 0.000 2542.592 543.656 554.974 2032
vampire 4.2 0.000 2349.979 1914.523 489.165 2252

n. Non-competing.

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