QF_LinearIntArith

Tracks

Track	Number of Benchmarks	Status	Logics	Benchmarks
Single Query Track	7430	competitive	QF_IDL QF_LIA QF_LIRA	1204 6219 7
Incremental Track	69	competitive	QF_LIA	69
Unsat Core Track	1108	competitive	QF_IDL QF_LIA QF_LIRA	100 1003 5
Model Validation Track	4940	competitive	QF_IDL QF_LIA QF_LIRA	743 4196 1
Proof Exhibition Track	2840	competitive	QF_IDL QF_LIA QF_LIRA	458 2377 5
Cloud Track	89	competitive	QF_IDL QF_LIA	63 26
Parallel Track	89	competitive	QF_IDL QF_LIA	63 26