Benchmarking multiple tools

[nianzelee]

BenchExec usage questions regarding benchmarking multiple tools:

• Can we benchmark two tools in one XML file? (It seems there cannot be two <benchmark></benchmark> section in one XML file.)
• Can table-generator read different table-definition XML files for results from different tools?

[nianzelee]

• Can we benchmark two tools in one XML file? (It seems there cannot be two <benchmark></benchmark> section in one XML file.)

No, because XML syntax only allows one root element.

• Can table-generator read different table-definition XML files for results from different tools?

Yes, we only need one table-definition file, and use <result> tags for different tools.

[nianzelee]

Commit cd4b29e updates the table-definition XML file to reflect the second point.