read_module gm4.rm
read_spec inv-fairness-4.spec

inv_check System_1H fairnessP1
inv_check System_2H fairnessP2
inv_check System_3H fairnessP3
inv_check System_4H fairnessP4