Scheduling solutions are easy to verify. For other problems, verification would be harder.