To run an example call:

   aspcud <example>.cudf solution.cudf paranoid

