runs with state space reduced
runs with state space reduced