Arith

Tracks

Track	Number of Benchmarks	Status	Logics	Benchmarks
Single Query Track	1620	competitive	LIA LRA NIA NRA	300 1003 17 300
Incremental Track	11	competitive	LIA LRA	6 5
Unsat Core Track	237	competitive	LIA NIA	235 2
Cloud Track	23	competitive	LIA LRA NIA NRA	4 16 1 2
Parallel Track	24	competitive	LIA LRA NIA NRA	4 17 1 2