Navíc, to lze v prostředí, kde jsou k dispozici solvery pro dvě dost odlišné architektury. V případě komerčních solverů trvá roky, než jsou implementovány změny v jedné architektuře (např. při rozšíření instrukční sady). Např. akcelerace na GPU většina z nich pořád ještě neumí a už vůbec není reálné, že by dodavatelé podporovali ještě ARM.