Property ServersAndClients-PT-100320-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("rep3_c93")) | (is-fireable("rep6_c58"))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      A ((A (F ((is-fireable("req224_c70")) | (E (X (E ((is-fireable("req151_c4")) U (is-fireable("rep113_c9"))))))))) U ((is-fireable("req158_c94")) & (E (F (((A (F (is-fireable("req179_c56")))) | (! (E (G (is-fireable("req190_c32")))))) & (is-fireable("rep311_c49")))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (X (A (F ((((is-fireable("rep213_c61")) | ((A (F (is-fireable("req261_c16")))) & (A (F (is-fireable("rep209_c85")))))) | (! (A (G (is-fireable("req113_c11")))))) | ((E (F ((is-fireable("rep125_c95")) | (is-fireable("rep255_c83"))))) & ((E ((is-fireable("req153_c39")) U (is-fireable("rep5_c0")))) & (E (F (is-fireable("rep126_c24"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! ((A (F (A ((is-fireable("req187_c9")) U (is-fireable("rep218_c21")))))) & (E (G (A (G (is-fireable("req81_c80")))))))) & (E ((E (G ((is-fireable("rep126_c45")) | (is-fireable("rep287_c71"))))) U (((is-fireable("rep44_c4")) | (! (is-fireable("req245_c69")))) & (E (F (is-fireable("rep308_c4"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      ! (E (G (E (G (E (F (E (G (is-fireable("rep92_c35"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E ((A (X (A (F ((E ((is-fireable("req133_c92")) U (is-fireable("rep77_c34")))) & (((is-fireable("rep30_c86")) | (is-fireable("req12_c31"))) & ((is-fireable("req273_c25")) & (is-fireable("req156_c5"))))))))) U ((! (A ((E (((is-fireable("rep189_c29")) & (is-fireable("req200_c93"))) U (! (is-fireable("rep132_c60"))))) U (E (G (is-fireable("req225_c80"))))))) | ((is-fireable("req220_c2")) & (A (X (! ((! (is-fireable("req297_c11"))) | ((is-fireable("req303_c75")) & (is-fireable("rep196_c30"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (G (E (F (E (X (E (G (E (G (is-fireable("rep57_c88")))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (X (E (F (E (F ((! (E (X (is-fireable("req242_c15"))))) & ((A (X (is-fireable("req190_c44")))) | (is-fireable("req102_c40")))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G (((is-fireable("req105_c83")) | (A (G (A (F (! (is-fireable("req296_c68")))))))) | (A (X (E ((is-fireable("req229_c0")) U (! (A (F (is-fireable("req99_c35")))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (X (((A ((((! (is-fireable("rep162_c17"))) & (is-fireable("rep156_c82"))) | ((is-fireable("rep291_c14")) & (! (is-fireable("req98_c80"))))) U (E (G ((is-fireable("rep159_c53")) | (is-fireable("rep298_c65"))))))) | (E ((A (X ((is-fireable("rep254_c62")) | (is-fireable("req289_c74"))))) U (((is-fireable("req138_c59")) | ((is-fireable("rep21_c54")) & (is-fireable("req316_c21")))) | (is-fireable("rep113_c94")))))) | (A (G (E (X ((! (is-fireable("rep36_c45"))) | (A ((is-fireable("rep285_c2")) U (is-fireable("rep109_c45")))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      (E (G ((is-fireable("req44_c93")) & ((E (F (E (F (is-fireable("req100_c93")))))) | (! (is-fireable("rep184_c71"))))))) | ((A (((((A (F (is-fireable("rep275_c22")))) & (((is-fireable("req191_c22")) & (is-fireable("req223_c46"))) & (is-fireable("req203_c5")))) | (! (E ((is-fireable("req310_c85")) U (is-fireable("req192_c76")))))) | (! (A (G (! (is-fireable("rep241_c25"))))))) U (! (! ((A (G (is-fireable("req167_c50")))) & (! (A (X (is-fireable("req119_c72")))))))))) & (E (X (((E (F (! (is-fireable("rep205_c16"))))) & ((! (A (X (is-fireable("rep117_c72"))))) | (A (X (is-fireable("rep289_c81")))))) | (! (! ((! (is-fireable("req124_c58"))) | (! (is-fireable("req222_c1"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      A ((E ((E (X (is-fireable("req185_c11")))) U (E (((is-fireable("rep120_c80")) | (((is-fireable("req8_c37")) & (is-fireable("rep185_c32"))) & (E (X (is-fireable("req40_c88")))))) U ((E (F (is-fireable("rep178_c74")))) & (! (A (F (is-fireable("req292_c27")))))))))) U (is-fireable("req66_c74")))
   end.
Property ServersAndClients-PT-100320-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (X (! (E (F ((is-fireable("req300_c77")) | (A (G (E (G (is-fireable("req269_c23")))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      (! (A (G (A ((! (E (X (is-fireable("rep44_c38"))))) U (! (E ((is-fireable("req236_c76")) U (is-fireable("req209_c35")))))))))) | (E (F (((A ((E (G (is-fireable("rep113_c18")))) U (! ((is-fireable("rep38_c22")) & (is-fireable("rep299_c54")))))) | (((A (G (is-fireable("rep7_c56")))) | (! ((is-fireable("rep140_c86")) | (is-fireable("rep58_c43"))))) | (is-fireable("req161_c80")))) & (((A (G (! (is-fireable("req50_c92"))))) | ((E (X (is-fireable("req292_c16")))) & ((! (is-fireable("req47_c4"))) & ((is-fireable("rep279_c48")) | (is-fireable("rep110_c49")))))) & (((A (G (is-fireable("req222_c85")))) | ((is-fireable("req265_c9")) & ((is-fireable("req29_c7")) & (is-fireable("rep141_c46"))))) & (E ((is-fireable("rep148_c39")) U (! (is-fireable("rep74_c6"))))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G ((A (F ((is-fireable("rep281_c2")) & ((A ((is-fireable("req82_c33")) U (is-fireable("req101_c42")))) & (E (X (is-fireable("req51_c50")))))))) & ((A (G ((is-fireable("rep122_c71")) & (A (X (is-fireable("req184_c4"))))))) | (A (F (! (is-fireable("req211_c49"))))))))
   end.
Property ServersAndClients-PT-100320-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (X (A (X (E (X (((is-fireable("req317_c69")) | (A (F (is-fireable("rep213_c27"))))) | ((! (is-fireable("rep143_c10"))) & (A (G (is-fireable("req253_c58")))))))))))
   end.
