Dear Dieter,

If I remember correctly, we used runsolver at some point, but then
we switched to BenchExec due to issues with the measurement of the
runtime. If you remember any details / your tool was affected by
these problems, please let me know.

Wasn't runsolver this piece of software that couldn't handle memory
management properly, especially for Java applications like Aprove and
MnM? We had lively discussions on this topic in 2019, but without
helpful results. Only replacing runsolver by benchexec finally solved
the issue. I definitely don't want to experience this disaster again.
In 2019, I seriously considered removing MnM from TermComp for that
reason.

You're right, it was about memory, not runtime. I made clear that this is a serious issue for us, and asked whether they can revive benchexec.

Best
Florian