QF_Equality+LinearArith

Tracks

Track	Number of Benchmarks	Status	Logics	Benchmarks
Single Query Track	1805	competitive	QF_ALIA QF_AUFLIA QF_UFDTLIRA QF_UFIDL QF_UFLIA QF_UFLRA	116 539 9 300 300 541
Incremental Track	2031	competitive	QF_ALIA QF_AUFLIA QF_UFLIA QF_UFLRA	44 72 386 1529
Unsat Core Track	577	competitive	QF_ALIA QF_AUFLIA QF_UFDTLIRA QF_UFIDL QF_UFLIA QF_UFLRA	30 300 17 113 16 101
Model Validation Track	891	competitive	QF_UFIDL QF_UFLIA QF_UFLRA	206 300 385
Proof Exhibition Track	1301	competitive	QF_ALIA QF_AUFLIA QF_UFDTLIRA QF_UFIDL QF_UFLIA QF_UFLRA	72 380 66 300 183 300
Cloud Track	1	competitive	QF_UFLRA	1
Parallel Track	1	competitive	QF_UFLRA	1