Property RERS2020-PT-pb107-LTLCardinality-00
  "Automatically generated"
  is:
    A !(F ((3) <= (#tokens("ps1209"))) U ((1) <= (#tokens("ps613"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-01
  "Automatically generated"
  is:
    A F (F (!(((#tokens("ps984")) <= (#tokens("ps765"))) & F ((1) <= (#tokens("ps1181")))) U !((1) <= (#tokens("ps1008")))) U !((1) <= (#tokens("ps1181"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-02
  "Automatically generated"
  is:
    A F ((#tokens("ps827")) <= (#tokens("ps971")))
  end.
Property RERS2020-PT-pb107-LTLCardinality-03
  "Automatically generated"
  is:
    A X !(X F !(X ((#tokens("ps567")) <= (#tokens("ps994"))) U (X ((#tokens("ps567")) <= (#tokens("ps994"))) | G ((#tokens("ps743")) <= (#tokens("ps334"))))) U ((#tokens("ps656")) <= (#tokens("ps1040"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-04
  "Automatically generated"
  is:
    A F G (F ((0) <= (#tokens("ps815"))) U (X ((#tokens("ps139")) <= (#tokens("ps327"))) | !F ((#tokens("ps139")) <= (#tokens("ps327"))) | G F ((#tokens("ps1104")) <= (#tokens("ps1112")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-05
  "Automatically generated"
  is:
    A X (X G ((3) <= (#tokens("ps95"))) & F (((3) <= (#tokens("ps694"))) U ((#tokens("ps1131")) <= (#tokens("ps399")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-06
  "Automatically generated"
  is:
    A (X ((2) <= (#tokens("ps1303"))) | F X ((#tokens("ps261")) <= (#tokens("ps1123"))) | !F ((#tokens("ps232")) <= (#tokens("ps196"))) | (!((2) <= (#tokens("ps1303"))) U ((1) <= (#tokens("ps551")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-07
  "Automatically generated"
  is:
    A X (F X X F G ((#tokens("ps1310")) <= (#tokens("ps1237"))) | G ((#tokens("ps776")) <= (#tokens("ps331"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-08
  "Automatically generated"
  is:
    A G (((#tokens("ps1184")) <= (#tokens("ps589"))) U (G ((2) <= (#tokens("ps30"))) & X ((#tokens("ps343")) <= (#tokens("ps999")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-09
  "Automatically generated"
  is:
    A X G (X X X F ((#tokens("ps1012")) <= (#tokens("ps250"))) | G !G !((2) <= (#tokens("ps1301"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-10
  "Automatically generated"
  is:
    A ((G ((3) <= (#tokens("ps755"))) | (((#tokens("ps1148")) <= (#tokens("ps331"))) & X ((#tokens("ps1148")) <= (#tokens("ps331"))))) U X (((3) <= (#tokens("ps1027"))) | F ((#tokens("ps1148")) <= (#tokens("ps331")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-11
  "Automatically generated"
  is:
    A X F (((2) <= (#tokens("ps969"))) | G !(((#tokens("ps159")) <= (#tokens("ps908"))) & G ((#tokens("ps159")) <= (#tokens("ps908")))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-12
  "Automatically generated"
  is:
    A F (!(X X X ((#tokens("ps723")) <= (#tokens("ps1117"))) U ((#tokens("ps1075")) <= (#tokens("ps203")))) & X F ((#tokens("ps362")) <= (#tokens("ps274"))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-13
  "Automatically generated"
  is:
    A G X ((#tokens("ps93")) <= (#tokens("ps1125")))
  end.
Property RERS2020-PT-pb107-LTLCardinality-14
  "Automatically generated"
  is:
    A (X ((#tokens("ps1122")) <= (#tokens("ps1208"))) U (X ((0) <= (#tokens("ps156"))) & F (G ((0) <= (#tokens("ps209"))) | F ((0) <= (#tokens("ps209"))))))
  end.
Property RERS2020-PT-pb107-LTLCardinality-15
  "Automatically generated"
  is:
    A (F (((3) <= (#tokens("ps981"))) U G ((3) <= (#tokens("ps981")))) & F (((#tokens("ps549")) <= (#tokens("ps869"))) | ((((3) <= (#tokens("ps981"))) & ((#tokens("ps775")) <= (#tokens("ps575")))) U ((#tokens("ps775")) <= (#tokens("ps575"))))))
  end.
