Help me run experiments with CP/SAT toolchain