Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: A computational approach. (November 2022)