Improve cfpq_eval timeouts

Author: IlyaMuravjov

cfpq_eval/runners/all_pairs_cflr_tool_runner.py

@@ -50,7 +50,7 @@ def base_command(self) -> Optional[str]:
 
     @property
     def timeout_command(self) -> str:
-        return '' if self.timeout_sec is None else f'timeout {self.timeout_sec}s '
+        return '' if self.timeout_sec is None else f'timeout --kill-after=3m {self.timeout_sec}s '
 
     @property
     def measure_ram_command(self) -> str:

cfpq_eval/runners/kotgll_all_pairs_cflr_tool_runner.py

@@ -16,8 +16,15 @@
 from cfpq_model.label_decomposed_graph import LabelDecomposedGraph
 from cfpq_model.model_utils import explode_indices
 
+_WARM_UP_ROUNDS = 1
+
 
 class KotgllAllPairsCflrToolRunner(AbstractAllPairsCflrToolRunner):
+    def __init__(self, *args, **kwargs):
+        super().__init__(*args, **kwargs)
+        if self.timeout_sec is not None:
+            self.timeout_sec += _WARM_UP_ROUNDS * self.timeout_sec
+
     @property
     def base_command(self) -> Optional[str]:
         grammar = CnfGrammarTemplate.read_from_pocr_cnf_file(self.grammar_path)
@@ -62,7 +69,7 @@ def base_command(self) -> Optional[str]:
             f'--grammar {grammar_path.suffix[1:]} --sppf off '
             f'--inputPath {graph_path.parent} --grammarPath {grammar_path} '
             f'--outputPath {out_folder} '
-            '--warmUpRounds 1 --benchmarkRounds 1'
+            f'--warmUpRounds {_WARM_UP_ROUNDS} --benchmarkRounds 1'
         )
 
     @property