% benchmark parameters -n7 -x -m1000

list(usable).
f(x,x) = x.

% (3,2,1)-COLS
% f(x,y)!=u | f(z,w)!=u | f(v,y)!=x | f(v,w)!= z | x=z.
% f(x,y)!=u | f(z,w)!=u | f(v,y)!=x | f(v,w)!= z | y=w.

f(x,y)!=u | f(z,w)!=u | f(v,y)!=x | f(v,w)!= z | x=z | y=w.

end_of_list.

list(mace_constraints).
property(f(_,_), quasigroup).
end_of_list.
