Какая инсталяция доставит меньше накладных расходов - оперативная память системных процессов / колличество системных процессов
для консольной задачи - логического прувера - программы для автоматического доказательства теорем , которая использует многие гигабайты оперативной памяти и только целочисленную арифметику ?