Sudoku Examples not Completing

I have successfully built CRAVE using the default build with the Boolector and CUDD solvers. I can build and run most of the examples except either of the sudoku ones. Is the selection of Boolector and CUDD solvers capable of solving the constraints for these sudoku examples? The examples will start simulating, but then go on for hours without ever finishing.

Thanks,
Peter