Property RERS2020-PT-pb105-LTLCardinality-00
  "Automatically generated"
  is:
    A G X X ((!F (((#tokens("ps905")) <= (#tokens("ps1931"))) | F ((#tokens("ps905")) <= (#tokens("ps1931")))) U !((#tokens("ps905")) <= (#tokens("ps1931")))) | X ((#tokens("ps1959")) <= (#tokens("ps690"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-01
  "Automatically generated"
  is:
    A X X (!(((0) <= (#tokens("ps183"))) & ((2) <= (#tokens("ps1465")))) & X ((#tokens("ps1659")) <= (#tokens("ps1487"))) & !G ((2) <= (#tokens("ps1465"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-02
  "Automatically generated"
  is:
    A (((#tokens("ps1113")) <= (#tokens("ps1655"))) | F (!((#tokens("ps1113")) <= (#tokens("ps1655"))) & G X G (G ((3) <= (#tokens("ps447"))) & G F ((#tokens("ps1549")) <= (#tokens("ps618"))))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-03
  "Automatically generated"
  is:
    A X G (F ((2) <= (#tokens("ps947"))) & (((3) <= (#tokens("ps1460"))) | F ((((1) <= (#tokens("ps1821"))) & ((2) <= (#tokens("ps947")))) U ((2) <= (#tokens("ps947"))))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-04
  "Automatically generated"
  is:
    A (G F (G X ((1) <= (#tokens("ps990"))) U (((#tokens("ps474")) <= (#tokens("ps380"))) & !X ((#tokens("ps68")) <= (#tokens("ps977"))))) U F ((2) <= (#tokens("ps1183"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-05
  "Automatically generated"
  is:
    A X ((((#tokens("ps447")) <= (#tokens("ps375"))) & ((#tokens("ps1154")) <= (#tokens("ps769")))) U (G ((#tokens("ps447")) <= (#tokens("ps375"))) | X F ((#tokens("ps1563")) <= (#tokens("ps1290")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-06
  "Automatically generated"
  is:
    A X (!(!((#tokens("ps60")) <= (#tokens("ps1055"))) & ((#tokens("ps172")) <= (#tokens("ps634")))) | X X F G ((#tokens("ps1015")) <= (#tokens("ps1390"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-07
  "Automatically generated"
  is:
    A G (((#tokens("ps231")) <= (#tokens("ps1937"))) | (((((2) <= (#tokens("ps394"))) & ((#tokens("ps231")) <= (#tokens("ps1937")))) U G !((#tokens("ps231")) <= (#tokens("ps1937")))) U X ((#tokens("ps231")) <= (#tokens("ps1937")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-08
  "Automatically generated"
  is:
    A !(((F ((#tokens("ps707")) <= (#tokens("ps345"))) | F (((2) <= (#tokens("ps1443"))) U X ((2) <= (#tokens("ps1443"))))) U ((0) <= (#tokens("ps197")))) & X G ((#tokens("ps609")) <= (#tokens("ps560"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-09
  "Automatically generated"
  is:
    A F ((1) <= (#tokens("ps868")))
  end.
Property RERS2020-PT-pb105-LTLCardinality-10
  "Automatically generated"
  is:
    A F X G X (X F !F ((#tokens("ps1158")) <= (#tokens("ps1336"))) U (((#tokens("ps1158")) <= (#tokens("ps1336"))) | ((#tokens("ps1912")) <= (#tokens("ps1779")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-11
  "Automatically generated"
  is:
    A (F G (((#tokens("ps1008")) <= (#tokens("ps751"))) & G ((#tokens("ps1008")) <= (#tokens("ps751")))) | (X (((3) <= (#tokens("ps1162"))) | F ((1) <= (#tokens("ps1749")))) & G ((1) <= (#tokens("ps1749")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-12
  "Automatically generated"
  is:
    A ((((#tokens("ps45")) <= (#tokens("ps126"))) & ((#tokens("ps449")) <= (#tokens("ps1648"))) & ((#tokens("ps1744")) <= (#tokens("ps1777"))) & !((#tokens("ps1744")) <= (#tokens("ps1777")))) | (((2) <= (#tokens("ps731"))) & G ((3) <= (#tokens("ps1322")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-13
  "Automatically generated"
  is:
    A F G F (F !((1) <= (#tokens("ps787"))) | (X ((#tokens("ps237")) <= (#tokens("ps740"))) U F X ((1) <= (#tokens("ps1738")))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-14
  "Automatically generated"
  is:
    A (!((1) <= (#tokens("ps1243"))) | F G ((1) <= (#tokens("ps1243"))))
  end.
Property RERS2020-PT-pb105-LTLCardinality-15
  "Automatically generated"
  is:
    A X (!((0) <= (#tokens("ps1153"))) | X ((G ((0) <= (#tokens("ps1153"))) & F ((#tokens("ps355")) <= (#tokens("ps1582")))) | (((0) <= (#tokens("ps819"))) & X ((#tokens("ps1492")) <= (#tokens("ps481"))))))
  end.
