Experiments with the CC(X) algorithm