blob: db2aa26c8d38f00760b923ee0a70c22eacff1f06 [file] [log] [blame]
PathFinder: finding a series of labeled nodes within a
two-layer directed, cyclic graph.
Copyright (2013) Sandia Corporation
Sandia National Laboratories is a multi-program laboratory managed and
operated by Sandia Corporation, a wholly owned subsidiary of Lockheed
Martin Corporation, for the U.S. Department of Energy's National Nuclear
Security Administration under terms of Contract DE-AC04-94AL85000,
there is a non-exclusive license for use of this work by or on behalf
of the U.S. Government. Export of this program may require a license
from the United States Government.
500 functions specified
3463 basic blocks specified
371 total System Call Map elements
...parsing complete.
Immediately before parallel
44669 found out of 137641 searches. Overall Time: 0:0:0.000
Total 44669 legs found
exit 0