Comment by XCSme

I am trying to benchmark it, but it only supports (max) reasoning, and even for simple questions, it takes forever to answer/times out :(