ProASP stands as the first compilation-based ASP solver specifically designed to efficiently evaluate ASP programs. Its evaluation techniques address the well-known grounding bottleneck problem, a significant challenge for state-of-the-art ASP solvers. As a result, ProASP offers a robust solution for evaluating ASP programs that are hindered by grounding issues, rendering them unsolvable by conventional systems. Furthermore, recent advancements in ProASP enable a hybrid evaluation approach that combines the classical and compilation-based methods. This innovative strategy delivers notable performance improvements even for benchmarks not traditionally impacted by the grounding bottleneck problem.