iProver

Competing	yes
Single Query Track	ALIA, ANIA, 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
Proof Exhibition Track
Cloud Track
Parallel Track	ALIA, ANIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA
Preliminary ID	44524
Final ID	44768
Seed	191937
System Description	iProver v3.8 (SMT-COMP-2023)
Variant of Submission ID
Derived from Solver
Wrapped Solvers	Z3 v4.11.2, MiniSAT v2.0, Vampire v4.7
Website	https://gitlab.com/korovin/iprover
Team Members	Konstantin Korovin, Andre Duarte, Edvard K. Holden