Vampire

Competing	yes
Single Query Track	ALIA, AUFDTLIA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTNIA, UFIDL, UFLIA, UFLRA, UFNIA
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	23409
Final ID	23703
Seed	4051
System Description	Vampire
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