DCN-95: Test instances of Markov decision processes with multiple models