Once the state space has been generated, the steady state solver has to solve a large system of up to 100 million simultaneous linear equations to determine how long the system spends in each state. A single workstation does not have the capacity to even store the solution to the problem (never mind compute it), so we have implemented a distributed disk-based linear solver which uses a system of two processes per node to overlap communication, computation and I/O.