SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants

Vampire

Competing yes
Single Query Track ALIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID 28324
Final ID 28782
Seed 4329
System Description Vampire 4.5-SMT System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers Z3 (4.8.7, this commit: 5a1003f6ed10fc65a1cbcd2554f183714c413c7c)
Website https://vprover.github.io/
Team Members Giles Reger, Martin Suda, Andrei Voronkov, Evgeny Kotelnikov, Simon Robillard, Laura Kovacs, Martin Riener, Michael Rawson, Bernhard Gleiss, Jakob Rath, Petra Hozzova, and Johannes Schoisswohl
Contact giles.reger@manchester.ac.uk