SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

UFDT (Main Track)

Competition results for the UFDT division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 4527
Time limit: 1200s

Winners

Sequential PerformanceParallel Performance
CVC4CVC4

Result table1

Sequential Performance

Solver Error Score Correctly Solved Score CPU time Score Solved Unsolved
CVC4 0.000 2544.133 542.126 2496 2031
Vampire 4.3 0.000 2142.697 649.039 2025 2502

Parallel Performance

Solver Error Score Correctly Solved Score CPU time Score WALL time Score Solved Unsolved
CVC4 0.0002544.133542.750554.38324962031
Vampire 4.3 0.0002347.9522424.655609.94522522275

n. Non-competing.

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