2019-Par4

Competing	no
Single Query Track	AUFLIRA, AUFNIRA, BV, LRA, NRA, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_NIA, QF_NRA, QF_UF, QF_UFNRA, UFIDL, UFLIA, UFNIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	23391
Final ID	23672
Seed
System Description	Par4
Variant of Submission ID
Derived from Solver
Wrapped Solvers	AProVE (smt-comp 2018), Boolector (smt-comp 2018), COLIBRI (smt-comp 2018), CVC4 (smt-comp 2018), SMTInterpol (smt-comp 2018), SMTRAT (smt-comp 2018), veriT (smt-comp 2018), Yices (smt-comp 2018), Z3 (smt-comp 2018)
Website
Team Members	Tjark Weber