attempt to compute state polytope