added array method to search matrices for most recent counterexample