% benchmark parameters -n8 -x -m1000 list(usable). f(x,x) = x. f(f(x,y),f(y,x)) = x. end_of_list. list(mace_constraints). property(f(_,_), quasigroup). end_of_list.