CUD@ASP: Experimenting with GPGPUs in ASP solving 163-177