Property ServersAndClients-PT-400080-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (A (G (E ((A ((is-fireable("req3_c182")) U (is-fireable("rep48_c218")))) U ((A (G (is-fireable("rep71_c62")))) & ((is-fireable("rep43_c76")) | (is-fireable("req45_c294"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A ((A ((A (G ((is-fireable("req35_c241")) & (A (F (is-fireable("rep64_c131"))))))) U (E (((E ((is-fireable("rep52_c254")) U (is-fireable("req24_c136")))) & (! (E (X (is-fireable("rep34_c112")))))) U (A (F (! (is-fireable("rep49_c324"))))))))) U (A (F (is-fireable("rep73_c322")))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (X ((A ((A (G (A (G (is-fireable("rep5_c126")))))) U (((A (G (is-fireable("rep4_c178")))) | (! (E ((is-fireable("rep56_c105")) U (is-fireable("rep73_c264")))))) & ((E (F (is-fireable("rep6_c372")))) | ((E (X (is-fireable("req50_c224")))) & ((is-fireable("req22_c3")) | (is-fireable("req21_c287")))))))) | (! (E ((is-fireable("rep62_c229")) U (A (F (is-fireable("rep50_c384")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (G (A (F (is-fireable("rep69_c58")))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (A (X ((! (A (F (E (F (is-fireable("rep25_c4"))))))) | (A (X (A (F ((is-fireable("rep78_c296")) & (is-fireable("req19_c327"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      (! (E (G (((E (F (is-fireable("rep79_c113")))) | (A ((is-fireable("rep50_c72")) U (is-fireable("req63_c25"))))) | (is-fireable("rep34_c338")))))) & (E (F (! (((A (F ((is-fireable("rep47_c199")) | (is-fireable("rep25_c139"))))) | (E (G (E (X (is-fireable("rep36_c41"))))))) | (is-fireable("rep43_c76"))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((A (X (E (X (is-fireable("rep23_c369")))))) | (((is-fireable("req37_c222")) & (A (F (is-fireable("req5_c131"))))) | (is-fireable("rep11_c58"))))) & ((A (F (((is-fireable("rep5_c235")) | (is-fireable("rep2_c102"))) & (A ((is-fireable("rep63_c82")) U (is-fireable("req56_c43"))))))) | (A (((E ((is-fireable("req56_c11")) U (is-fireable("req70_c296")))) | ((is-fireable("rep55_c46")) & (is-fireable("req73_c377")))) U (((is-fireable("rep36_c36")) | (is-fireable("req2_c29"))) & (is-fireable("rep33_c53"))))))) & (E (G (E (X (((is-fireable("rep2_c70")) & (is-fireable("req64_c3"))) | (! (is-fireable("req76_c302"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A ((((is-fireable("rep45_c16")) | (is-fireable("rep3_c216"))) & ((! (((is-fireable("rec_rep344")) & (! ((is-fireable("req59_c0")) & (is-fireable("req3_c306"))))) & (A (X (is-fireable("rep21_c243")))))) & (A (((! ((is-fireable("req50_c59")) | (is-fireable("req61_c199")))) & ((E ((is-fireable("rep24_c370")) U (is-fireable("rep23_c275")))) & ((is-fireable("req9_c321")) | (is-fireable("req68_c117"))))) U ((A ((is-fireable("rep5_c219")) U (is-fireable("req46_c278")))) & (! (A ((is-fireable("rep67_c393")) U (is-fireable("req40_c276")))))))))) U ((is-fireable("rep0_c290")) | (E (X (E (G ((! (is-fireable("rep61_c293"))) | (A (F (is-fireable("req61_c333")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (((E (F (! (is-fireable("req5_c72"))))) & (is-fireable("rep28_c169"))) & (A (G (A (F (is-fireable("rep0_c340"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! (E (X ((E (G (A (X ((is-fireable("req17_c91")) | (is-fireable("req76_c374"))))))) & (E ((A (F (! (is-fireable("rep75_c334"))))) U (is-fireable("req73_c63")))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      (E ((E (F ((A (G ((is-fireable("req46_c231")) & (is-fireable("rep67_c51"))))) & (E (G (A (F (is-fireable("rep60_c397"))))))))) U (! (((! (A (G (is-fireable("rep66_c377"))))) | ((is-fireable("rep74_c204")) & (! (E (X (is-fireable("rep61_c14"))))))) | (is-fireable("req50_c241")))))) | (E (G (is-fireable("rep50_c392"))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (E (G (E ((((! (is-fireable("rep68_c106"))) | (! (is-fireable("rep13_c366")))) | (E (G (is-fireable("rep66_c10"))))) U (E (X (E ((is-fireable("req39_c341")) U (is-fireable("req74_c72")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! ((A (F ((E (X (is-fireable("rep29_c284")))) | (is-fireable("rep9_c283"))))) & (A (F ((! (E ((is-fireable("req64_c242")) U (is-fireable("rep58_c369"))))) & (is-fireable("rep5_c156"))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      (E (F (is-fireable("rep66_c275")))) & (A (((E ((! (E ((is-fireable("rep9_c369")) U (is-fireable("rep13_c329"))))) U (! (A (X (is-fireable("req57_c348"))))))) | (is-fireable("rep17_c220"))) U (A (G (A (F (is-fireable("req68_c98"))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (X (E (X (E (G (E (X (! (is-fireable("rep19_c379"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (F (A (G (((E (G ((is-fireable("rec_rep258")) & (is-fireable("req13_c32"))))) & (E (F (is-fireable("rep41_c121"))))) | (! (is-fireable("rep59_c77")))))))
   end.
