Models used in the experimental results of B. Cook, J. Fisher, B. Hall, S. Ishtiaq, G. Juniwal, and N. Piterman Finding instability in biological models Proceedings of 26th International Conference on Computer Aided Verification (to appear).