<map id="G" name="G"> <area shape="rect" id="node1" href="$structompl_1_1Benchmark_1_1Status.html" title="This structure contains information about the activity of a benchmark instance. If the instance is ru..." alt="" coords="5,5,176,35"/> </map>
<map id="G" name="G"> <area shape="rect" id="node1" href="$structompl_1_1Benchmark_1_1Status.html" title="This structure contains information about the activity of a benchmark instance. If the instance is ru..." alt="" coords="5,5,176,35"/> </map>