Property RERS2020-PT-pb108-LTLCardinality-00
  "Automatically generated"
  is:
    A (X (((#tokens("ps1447")) <= (#tokens("ps2232"))) | G X (((1) <= (#tokens("ps1837"))) & G ((1) <= (#tokens("ps1837"))))) U X ((#tokens("ps2164")) <= (#tokens("ps298"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-01
  "Automatically generated"
  is:
    A (((#tokens("ps1378")) <= (#tokens("ps354"))) U ((1) <= (#tokens("ps136"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-02
  "Automatically generated"
  is:
    A (G ((2) <= (#tokens("ps1439"))) & (((0) <= (#tokens("ps750"))) | G ((#tokens("ps602")) <= (#tokens("ps991"))) | F !((#tokens("ps602")) <= (#tokens("ps991")))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-03
  "Automatically generated"
  is:
    A G (((2) <= (#tokens("ps300"))) | ((0) <= (#tokens("ps1245"))) | ((#tokens("ps29")) <= (#tokens("ps1486"))) | X (!((#tokens("ps29")) <= (#tokens("ps1486"))) & X ((0) <= (#tokens("ps1245")))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-04
  "Automatically generated"
  is:
    A (X G ((#tokens("ps1044")) <= (#tokens("ps2279"))) U G F (G F ((#tokens("ps1109")) <= (#tokens("ps731"))) U X X ((#tokens("ps541")) <= (#tokens("ps2186")))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-05
  "Automatically generated"
  is:
    A (F ((1) <= (#tokens("ps1341"))) | X G ((#tokens("ps118")) <= (#tokens("ps1268"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-06
  "Automatically generated"
  is:
    A ((F ((0) <= (#tokens("ps987"))) U X ((#tokens("p__start2023")) <= (#tokens("ps1989")))) & F !((#tokens("p__start2023")) <= (#tokens("ps1989"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-07
  "Automatically generated"
  is:
    A G X X G F !F ((3) <= (#tokens("ps1110")))
  end.
Property RERS2020-PT-pb108-LTLCardinality-08
  "Automatically generated"
  is:
    A ((!(((0) <= (#tokens("ps1388"))) & F ((#tokens("ps1824")) <= (#tokens("ps322")))) U F !((#tokens("ps419")) <= (#tokens("ps235")))) | X (((#tokens("ps1824")) <= (#tokens("ps322"))) | G ((#tokens("ps1824")) <= (#tokens("ps322")))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-09
  "Automatically generated"
  is:
    A !(((2) <= (#tokens("ps1022"))) & !G ((#tokens("ps1562")) <= (#tokens("ps194"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-10
  "Automatically generated"
  is:
    A G F ((((#tokens("ps897")) <= (#tokens("ps1161"))) & ((2) <= (#tokens("ps1257")))) U F X ((2) <= (#tokens("ps1257"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-11
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("ps1167"))) U ((2) <= (#tokens("ps1081")))) & G X ((#tokens("ps227")) <= (#tokens("ps1305"))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-12
  "Automatically generated"
  is:
    A (G ((#tokens("ps846")) <= (#tokens("ps2329"))) U !(((#tokens("ps1622")) <= (#tokens("ps988"))) & ((#tokens("ps846")) <= (#tokens("ps2329"))) & F !((#tokens("ps830")) <= (#tokens("ps775")))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-13
  "Automatically generated"
  is:
    A F (((1) <= (#tokens("ps510"))) | X (((1) <= (#tokens("ps510"))) | G (!G !((#tokens("ps1071")) <= (#tokens("ps2021"))) U ((#tokens("ps1425")) <= (#tokens("ps1621"))))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-14
  "Automatically generated"
  is:
    A !(G (((2) <= (#tokens("ps1374"))) | ((#tokens("ps541")) <= (#tokens("ps368")))) & (((2) <= (#tokens("ps1374"))) | ((#tokens("ps582")) <= (#tokens("ps724"))) | X G (((#tokens("ps582")) <= (#tokens("ps724"))) U ((#tokens("ps1054")) <= (#tokens("ps1612"))))))
  end.
Property RERS2020-PT-pb108-LTLCardinality-15
  "Automatically generated"
  is:
    A G X F (!((3) <= (#tokens("ps2127"))) & G ((2) <= (#tokens("ps1007"))))
  end.
