% benchmark parameters -n11 -x -m1000

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

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