% benchmark parameters -n8 -x -m1000

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

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