SRS-Std cert TTT2 postprocessor error (time-out for matchbound certificate?)

[jwaldmann]

happens several time, e.g., https://www.starexec.org/starexec/services/jobs/pairs/615281563/log

starexec says this is a time-out (45 min) for ceta

for the same benchmark in uncert, ttt2 outputs a matchbound certificate.

perhaps it's similar to jwaldmann/ceta-postproc#25

[EDIT] same error happened in termcomp22

[jwaldmann]

the results table https://termcomp.herokuapp.com/Y2023/ shows that ttt2 has high total certification time (SRS-Std: ttt2: 14 hours, cf. matchbox: 1 hour)