(3,3,3,3) Inequality Files

For the raw list of inequalities,

No index:
Inequalities_Only_3333_Raw
Inequalities_Only_3333_Raw.mat (Matlab Format)

Indexed:
Indexed_Raw_3333

Inequalities affinely transformed so that the lowest local values are 1,2 :

No index:
Inequalities_Only_3333_Affine
Inequalities_Only_3333_Affine.mat (Matlab Format)

Indexed:
Indexed_Affine_3333

Raw inequalities with lifted inputs/outputs removed.

No index:
Reduced_Raw_3333

Indexed:
Indexed_Reduced_Raw_3333

Affine inequalities with lifted inputs/outputs removed.

No index:
Reduced_Affine_3333

Indexed:
Indexed_Reduced_Affine_3333

Inequalities sorted into the scenarios for which they first appear (indexed for reference)

Raw inequalities:
Gathered_Raw_3333

Affinely transformed inequalities:
Gathered_Affine_3333

Pre-lifted Inequalities, gathered by scenario with members of the same class removed (affine, indexed only):

Distinct_Prelifted_Bells_3333