Property ServersAndClients-PT-200160-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((E (G (is-fireable("rep151_c29")))) & (is-fireable("rep89_c60")))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A ((E ((((E (F (! (is-fireable("rep38_c25"))))) | ((((is-fireable("req134_c192")) | (is-fireable("req49_c195"))) & (E (X (is-fireable("req85_c108"))))) & ((A (F (is-fireable("rep154_c72")))) & ((is-fireable("rep131_c90")) & (is-fireable("rep35_c108")))))) | (is-fireable("req110_c157"))) U (A (G ((E ((is-fireable("rep55_c38")) U (is-fireable("rep80_c139")))) | ((A (G (is-fireable("rep151_c163")))) & ((is-fireable("rep65_c58")) | (is-fireable("req102_c68"))))))))) U (is-fireable("rep0_c26")))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (F (E ((((A (X ((is-fireable("rep23_c70")) & (is-fireable("req116_c56"))))) | (A ((is-fireable("req3_c104")) U (A ((is-fireable("req98_c84")) U (is-fireable("rep11_c141"))))))) | (((is-fireable("req95_c189")) & (A ((is-fireable("req27_c4")) U (is-fireable("req99_c181"))))) | (! (is-fireable("req97_c86"))))) U (E (G (((E ((is-fireable("req8_c8")) U (is-fireable("req133_c188")))) | ((is-fireable("rep26_c177")) | (is-fireable("rep121_c133")))) & (is-fireable("rep104_c86"))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E ((A ((! (is-fireable("rep141_c21"))) U (! (A (G (is-fireable("rep122_c0"))))))) U (((A (F (E (G (is-fireable("rep72_c92")))))) & (is-fireable("rep45_c40"))) & (E (F (E (X ((E (F (is-fireable("rep64_c175")))) | (E ((is-fireable("req50_c89")) U (is-fireable("rep75_c43")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (F (E (X (A (G (E (F (A (F (is-fireable("rep66_c61")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((A (((is-fireable("rep141_c80")) | (is-fireable("rep9_c122"))) U (is-fireable("req15_c102")))) & ((E (F (E ((is-fireable("req107_c190")) U (is-fireable("req84_c27")))))) & (A ((A ((is-fireable("req80_c105")) U (is-fireable("req65_c79")))) U (! (A (G (is-fireable("req71_c150")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (((is-fireable("req76_c102")) | (A (X (A (G (A (F (is-fireable("req134_c85"))))))))) U (((E (X (E (F ((is-fireable("rep58_c60")) | (is-fireable("req48_c105"))))))) & (E (((! (A (G (is-fireable("req125_c88"))))) & (! (A (X (is-fireable("rep90_c148")))))) U (E (X ((is-fireable("rep143_c182")) & (is-fireable("rep28_c173")))))))) | (is-fireable("req104_c29"))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (! (((E (F (! (is-fireable("rep120_c143"))))) & (((A (X (is-fireable("req88_c183")))) | (is-fireable("req75_c48"))) | (A ((is-fireable("req65_c106")) U (is-fireable("rep156_c114")))))) & (is-fireable("req64_c115"))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! ((E (G (! ((A (F (A (F (is-fireable("rep116_c81")))))) | (E ((A ((is-fireable("rep20_c52")) U (is-fireable("req48_c5")))) U (! (is-fireable("rep128_c78"))))))))) | (A ((is-fireable("req155_c50")) U (E (X (((A (X (is-fireable("rep119_c71")))) | (E (X (is-fireable("req92_c188"))))) & ((A (F (is-fireable("rep70_c120")))) | (E (G (is-fireable("req108_c136")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (F (E (X ((is-fireable("rep38_c196")) & (is-fireable("req55_c109"))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (G ((! (A (X (A (G ((is-fireable("rec_rep118")) & (is-fireable("rep10_c192")))))))) | (((A (F (E (G (is-fireable("rep26_c106")))))) | (A (F (! (A (G (is-fireable("rep84_c193")))))))) | (! (is-fireable("req141_c109"))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (A ((A ((is-fireable("req137_c0")) U (is-fireable("req149_c184")))) U ((E (G (is-fireable("req133_c87")))) & (! (is-fireable("req59_c28"))))))) & (is-fireable("rep0_c91"))) | (E (X (A (G (! (is-fireable("req47_c115")))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (G (E (G (E ((E (F (A (F (is-fireable("req96_c195")))))) U (is-fireable("req150_c106")))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F (A (G (! (E (G (((is-fireable("req145_c116")) & (is-fireable("req37_c112"))) | (E (X (is-fireable("req116_c33")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E (F (A ((E (X (E (X (A (X (is-fireable("req34_c38")))))))) U (E (F (is-fireable("rep28_c146")))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A ((A (F ((A ((is-fireable("req134_c42")) U ((is-fireable("req139_c17")) & (is-fireable("req56_c122"))))) | (((is-fireable("rep124_c94")) | (A ((is-fireable("rep138_c188")) U (is-fireable("req116_c185"))))) & ((! ((is-fireable("req155_c51")) & (is-fireable("rep60_c60")))) | (A (F (is-fireable("rep119_c59"))))))))) U ((! (A (X (E (F (is-fireable("rep32_c27"))))))) & ((((((A (G (is-fireable("rep54_c12")))) | ((is-fireable("rep15_c33")) & (is-fireable("rep147_c133")))) & (((is-fireable("req90_c164")) | (is-fireable("req90_c167"))) | ((is-fireable("req119_c134")) | (is-fireable("req58_c52"))))) | (E (F (E ((is-fireable("rep42_c111")) U (is-fireable("req1_c85"))))))) & (E (F (A (F (is-fireable("req110_c178"))))))) | (A (F (is-fireable("req141_c159")))))))
   end.
