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]