% benchmark parameters -n11 -x -m1000

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

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