final comparison of dfs and ac3