Equality+MachineArith

Tracks

Track	Number of Benchmarks	Status	Logics	Benchmarks
Single Query Track	6164	competitive	ABV ABVFP ABVFPLRA AUFBV AUFBVDTLIA AUFBVDTNIA AUFBVDTNIRA AUFBVFP AUFFPDTNIRA UFBV UFBVDT UFBVFP UFBVLIA UFFPDTNIRA	2487 60 77 761 742 8 1062 57 159 144 1 2 208 396
Incremental Track	4	competitive	ABVFPLRA	4
Unsat Core Track	2165	competitive	ABV ABVFP ABVFPLRA AUFBVDTLIA AUFBVDTNIRA AUFFPDTNIRA UFFPDTNIRA	485 3 4 180 1062 131 300
Proof Exhibition Track	2006	competitive	ABV ABVFP ABVFPLRA AUFBV AUFBVDTLIA AUFBVDTNIRA AUFBVFP AUFFPDTNIRA UFBV UFBVFP UFBVLIA UFFPDTNIRA	485 3 4 353 185 531 27 131 127 2 8 150
Cloud Track	0	competitive
Parallel Track	0	competitive