SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

2019-Vampire

Competing no
Single Query Track UFDTNIA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID 23409
Final ID 23703
Seed
System Description Vampire 4.4-SMT System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers Z3 4.5
Website https://vprover.github.io
Team Members Giles Reger, Martin Suda, Andrei Voronkov, Laura Kovacs, Evgenii Kotelnikov, Simon Robillard, Martin Riener
Contact giles.reger@manchester.ac.uk