Moving beyond the maximum state space size that can be generated
on a single processor, this graph shows the real time required to generate
larger state spaces up to k = 12 . For the largest case, 55 minutes
are required to generate a state space with111 414 940 states and 1 078
917 632 arcs. Click here for a graph showing
the good load balance across processors achieved by the general hash functions
used in our algorithm.
[ Home | Previous
| Next]