[Termtools] TcT StarExec problems

[Johannes Waldmann]

> Does anybody know what the problem is?

your program allocates too much? (or runsolver thinks so)

> [2]: https://www.starexec.org/starexec/secure/details/pair.jsp?id=486124592

06/18/20 08:25:32 AM CDT: mem limit : 128873

./tct-trs ... +RTS -N4 -M128873M -K32M ...

I am not sure about the exact semantics of -M  here.
Could be off-by-one, could be Mega/Mebi confusion, could be  worse.

perhaps try
https://downloads.haskell.org/ghc/latest/docs/html/users_guide/runtime_control.html#rts-flag---disable-delayed-os-memory-return

- J.W.