Some experiments in CSP