Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms