QF_LinearRealArith

Tracks

Track	Number of Benchmarks	Status	Logics	Benchmarks
Single Query Track	825	competitive	QF_LRA QF_RDL	578 247
Incremental Track	10	competitive	QF_LRA	10
Unsat Core Track	196	competitive	QF_LRA	196
Model Validation Track	582	competitive	QF_LRA QF_RDL	473 109
Proof Exhibition Track	196	competitive	QF_LRA	196
Cloud Track	23	competitive	QF_LRA QF_RDL	19 4
Parallel Track	23	competitive	QF_LRA QF_RDL	19 4