Experimenting with parallelism for the instantiation of ASP programs