Property ServersAndClients-PT-400160-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (X (A (F (is-fireable("req82_c146")))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      A (F (A (F (E (F (E (F ((is-fireable("req125_c43")) & (is-fireable("req120_c350"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      ! (! (E (G ((((((is-fireable("rep87_c153")) | (is-fireable("req90_c115"))) & (A (X (is-fireable("rep95_c215"))))) & (A (X (is-fireable("rep1_c380"))))) | (A (F (! (is-fireable("rep56_c134")))))) | (is-fireable("rep106_c5"))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (G (((is-fireable("rep75_c14")) & (E (G (is-fireable("rep148_c265"))))) | (((E (F (is-fireable("req61_c267")))) & (A (F (! ((is-fireable("rep46_c322")) | (is-fireable("req41_c222"))))))) | (is-fireable("req121_c191")))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A ((A (G (((is-fireable("rep90_c69")) | (is-fireable("rep93_c315"))) & (is-fireable("rep93_c301"))))) U (! (A (G (E (G (A (F (is-fireable("req0_c81"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E ((! (is-fireable("req153_c303"))) U (((A (F ((A (G (is-fireable("rep124_c124")))) | (! (A (F (is-fireable("rep58_c24")))))))) & (E (X (! (is-fireable("rep36_c75")))))) | (A (G (is-fireable("rep41_c213"))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      A ((E (X ((! (is-fireable("req140_c101"))) | (is-fireable("req114_c371"))))) U (E (((E (((! (is-fireable("req120_c67"))) | (A (F (is-fireable("rep77_c233"))))) U (A (X (is-fireable("req129_c142")))))) & (((E ((is-fireable("req29_c161")) U (is-fireable("rep23_c124")))) | (is-fireable("req80_c229"))) & (E (F ((is-fireable("req145_c246")) | (is-fireable("req2_c164"))))))) U (((is-fireable("req108_c348")) & (is-fireable("req142_c311"))) & (E ((((is-fireable("req99_c213")) & (is-fireable("rep128_c318"))) & (E ((is-fireable("req146_c367")) U (is-fireable("rep8_c362"))))) U (A ((is-fireable("rep15_c340")) U (is-fireable("rep83_c163"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (F (! (E (F (E (G (A (F (is-fireable("rep0_c30"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (F ((E ((! (((A (F (is-fireable("req48_c2")))) | (A (X (is-fireable("rep96_c79"))))) | (is-fireable("req6_c19")))) U (A (G (((is-fireable("rep129_c347")) & (is-fireable("req17_c384"))) | ((is-fireable("rep104_c284")) | (is-fireable("rep47_c253")))))))) & (A (G (A (G (! (E (G (is-fireable("req29_c23")))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      (E (G (E (F (A (X ((A ((is-fireable("rep109_c163")) U (is-fireable("req14_c193")))) & (E (F (is-fireable("req41_c361"))))))))))) & (A ((! (E ((is-fireable("rep81_c350")) U ((A (X (is-fireable("req55_c279")))) & ((! (is-fireable("req99_c238"))) | ((is-fireable("req139_c18")) | (is-fireable("rep27_c61")))))))) U (((((((is-fireable("req21_c75")) | (is-fireable("req42_c304"))) & (A (F (is-fireable("rep92_c101"))))) & ((A ((is-fireable("rep91_c346")) U (is-fireable("rep19_c9")))) & ((is-fireable("req1_c75")) | (is-fireable("req15_c305"))))) & (E ((A (F (is-fireable("req2_c317")))) U (A (G (is-fireable("req154_c310"))))))) & (is-fireable("rep83_c311"))) | (A (X (is-fireable("rep120_c364")))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ! (A (F ((! ((E (G ((is-fireable("req152_c264")) | (is-fireable("req17_c21"))))) | (A ((E (F (is-fireable("rep116_c78")))) U (! (is-fireable("rep13_c210"))))))) | (E (((is-fireable("req8_c70")) & (E (X (is-fireable("rep143_c332"))))) U (! (! (is-fireable("req141_c2")))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (E (F ((E (G (is-fireable("rec_rep349")))) | (E (G (((is-fireable("rep63_c258")) | (is-fireable("req68_c360"))) & (! (is-fireable("rep37_c393"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      ! (A (((A (F (is-fireable("rep153_c168")))) | (E (F (! (A (G (is-fireable("req54_c192")))))))) U (! (E (F ((! (E (F (is-fireable("req82_c317"))))) | (A (G (is-fireable("rep28_c165"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      (A (G (! (! ((A ((is-fireable("rep29_c74")) U (is-fireable("rep23_c303")))) & (A (G ((is-fireable("rep31_c7")) | (is-fireable("rep58_c208")))))))))) | (! (((A (((E (X (is-fireable("rep100_c392")))) | (is-fireable("req49_c235"))) U ((E (F (is-fireable("rep145_c347")))) | (! (E (G (is-fireable("rep26_c98")))))))) & (E (F (((is-fireable("rep136_c101")) & ((is-fireable("req25_c116")) & (is-fireable("rep61_c347")))) & (E ((is-fireable("req159_c77")) U (is-fireable("rep143_c98")))))))) & (! (! (! (A ((! (is-fireable("rep76_c242"))) U (A ((is-fireable("req76_c3")) U (is-fireable("req56_c39")))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (X (A (F (E (F (! (A (X (is-fireable("req79_c389"))))))))))
   end.
Property ServersAndClients-PT-400160-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (G ((is-fireable("rep71_c395")) | ((is-fireable("req136_c112")) | (E (X (A (F (! (is-fireable("req126_c372"))))))))))
   end.
