questions: /var/tmp/airtime space requirement

Hi,

We ran into a problem today where Airtime would not allow logins and noticed the cause is due to the root partition being out of space. I noticed that /var/tmp/airtime was using over 4GB (thus, filling up / which was only 12G) so I was wondering if you have an idea of the minimum space required here? I can add a separate partition for /var but would like to know how big to make it.

I do already have a separate (very large) partition for /srv.

Thank you.