The 'suite' key of the benchcomp config file should accept a timeout key, specifying a timeout in seconds. benchcomp run terminates any suite+variant whose runtime exceeds the timeout. This key is per-suite rather than global, as different suites will have a different expectation of their normal runtime.
The 'suite' key of the benchcomp config file should accept a timeout key, specifying a timeout in seconds.
benchcomp runterminates any suite+variant whose runtime exceeds the timeout. This key is per-suite rather than global, as different suites will have a different expectation of their normal runtime.