If a market can't be cleared using a spreadsheet with 2^16 rows and 2^8 columns then the market is not efficient.

Largely because most of the trade strategies live in ancient xls files no one dares edit.