iProver - fixed2

Competing	no
Single Query Track	UF, UFDT
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	33931
Seed	0
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers	Vampire is used for clausification and theory axiomatisations; Z3 and MiniSAT for ground reasoning
Website	http://www.cs.man.ac.uk/~korovink/iprover/
Team Members	Konstantin Korovin, Andre Duarte, Edvard K Holden