Property PhaseVariation-PT-D30CS100-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      (A (X (is-fireable("division2_mutate_22_22_A_21_22")))) | (E (X (! (A (F (is-fireable("division2_mutate_27_13_A_27_12")))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (G (A (F (((A (G (! (is-fireable("division2_replicate_22_9_A_21_10"))))) & (E (G (A ((is-fireable("division2_mutate_16_15_B_15_14")) U (is-fireable("division2_replicate_7_2_A_6_2"))))))) | (((E ((is-fireable("division2_mutate_13_12_B_12_11")) U (is-fireable("division2_mutate_11_25_B_12_26")))) | (E ((is-fireable("division2_replicate_2_27_A_3_26")) U (is-fireable("division2_mutate_30_17_B_30_18"))))) & (is-fireable("division2_replicate_1_2_A_1_1")))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (((! (E (F ((((is-fireable("division2_mutate_28_6_A_28_5")) | (is-fireable("division2_mutate_26_24_A_27_25"))) | ((is-fireable("division2_replicate_25_22_A_25_21")) & (is-fireable("division2_replicate_9_21_A_8_21")))) | (! (is-fireable("division2_replicate_29_6_B_29_7"))))))) & (! (((A (G (is-fireable("division1_mutate_27_9_A")))) & (! ((is-fireable("division2_mutate_16_18_B_15_17")) | (is-fireable("division2_mutate_12_2_A_11_3"))))) | (A (G ((is-fireable("division2_mutate_23_8_A_22_9")) | (is-fireable("division1_mutate_20_17_B")))))))) U (E (F ((((A ((is-fireable("division2_replicate_24_2_A_23_1")) U (is-fireable("division2_mutate_28_22_A_28_21")))) & ((A ((is-fireable("division2_mutate_14_25_B_14_24")) U (is-fireable("division2_mutate_28_12_A_28_11")))) | (A ((is-fireable("division2_replicate_8_21_A_7_20")) U (is-fireable("division2_mutate_12_17_B_12_18")))))) | (((E (G (is-fireable("division2_mutate_19_17_B_18_16")))) | (E (F (is-fireable("division2_mutate_16_3_B_15_4"))))) | (E (F (is-fireable("division2_replicate_26_28_B_26_29")))))) | ((E (X ((is-fireable("division2_mutate_16_18_A_17_18")) & (is-fireable("division2_replicate_13_8_B_14_9"))))) & (E (F (E (X (is-fireable("division2_replicate_22_12_B_22_11")))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("division2_mutate_23_23_A_23_24")))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E ((! ((E (F (E (G ((is-fireable("division2_replicate_17_21_B_17_22")) | (is-fireable("division2_mutate_28_29_B_29_28"))))))) | (E (G (E (X (! (is-fireable("division2_replicate_21_26_A_21_27"))))))))) U (E (F (E (G (((E (G (is-fireable("division1_replicate_15_13_A")))) | (is-fireable("division2_mutate_26_24_A_25_24"))) | ((! (is-fireable("division2_replicate_9_29_B_10_29"))) & (! (is-fireable("division2_replicate_26_29_A_27_29"))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (X (E (G (A (X (A (F (E (X (is-fireable("division2_mutate_28_5_A_27_4")))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      (A (F (! ((! ((A (X (is-fireable("division2_replicate_19_24_A_20_25")))) & (E (X (is-fireable("division2_mutate_20_10_A_21_11")))))) & ((E (X (! (is-fireable("division2_replicate_29_7_B_29_6"))))) & (A ((A (F (is-fireable("division2_replicate_22_22_B_22_23")))) U (E (X (is-fireable("division2_replicate_11_22_B_12_23"))))))))))) | (E (G ((is-fireable("division1_mutate_30_5_A")) & (A (G (A (G ((is-fireable("division2_replicate_12_16_A_13_15")) & (is-fireable("division2_mutate_10_24_A_11_25"))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ((! (A (G ((is-fireable("division2_mutate_19_28_A_19_29")) | ((E (F (is-fireable("division2_replicate_4_25_A_3_25")))) | ((E (G (is-fireable("division2_mutate_24_12_A_24_13")))) & (is-fireable("division2_replicate_21_22_A_20_23")))))))) & (A (X (A (F ((E (G (is-fireable("division2_mutate_16_24_B_15_24")))) | (! ((is-fireable("division2_mutate_30_29_A_29_28")) | (is-fireable("division2_replicate_26_9_A_25_9")))))))))) | (E ((! ((E ((A (F (is-fireable("division2_replicate_9_15_B_10_14")))) U ((is-fireable("division2_replicate_4_4_A_4_3")) & (! (is-fireable("division2_replicate_28_10_A_29_11")))))) | ((((A (X (is-fireable("division1_replicate_6_27_A")))) | (is-fireable("division2_replicate_3_6_B_4_5"))) | (is-fireable("division1_mutate_30_12_B"))) | (! (E (G (is-fireable("division2_replicate_24_7_A_25_6")))))))) U (is-fireable("division1_replicate_8_29_B"))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E ((! ((is-fireable("division2_mutate_14_25_B_13_26")) | (E (F (is-fireable("division2_replicate_6_16_A_7_15")))))) U (! (E ((is-fireable("division2_replicate_23_24_A_22_25")) U ((is-fireable("division2_mutate_12_11_B_13_11")) | (! (A (F (is-fireable("division2_replicate_22_17_A_23_17"))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E ((! (E ((! (A (((is-fireable("division2_replicate_2_14_A_3_13")) & (is-fireable("division2_replicate_17_17_B_16_18"))) U ((is-fireable("division2_mutate_4_10_A_5_10")) | (is-fireable("division2_mutate_7_30_A_6_30")))))) U (is-fireable("division2_replicate_7_10_B_7_9"))))) U (E ((A (G (E (G (! (is-fireable("division2_mutate_20_22_B_19_23"))))))) U (E (F ((A ((is-fireable("division2_mutate_26_29_A_25_29")) U (is-fireable("division2_replicate_7_2_B_7_1")))) | (is-fireable("division2_mutate_8_22_A_7_23"))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (F (((A (F (E ((A (F (is-fireable("division2_replicate_23_7_A_22_6")))) U (is-fireable("division2_mutate_14_10_B_15_9")))))) | (E ((A (X (! (is-fireable("division2_replicate_24_10_B_25_10"))))) U (! (A (F (is-fireable("division2_mutate_11_13_B_10_14")))))))) & (! ((! (((is-fireable("division1_replicate_24_26_A")) & (E (X (is-fireable("division2_mutate_22_12_B_23_11"))))) | (! (is-fireable("division2_replicate_11_15_B_10_15"))))) | (! ((((is-fireable("division2_replicate_21_23_B_20_23")) | (is-fireable("division2_mutate_27_23_A_27_24"))) & ((is-fireable("division2_mutate_11_17_B_11_18")) | (is-fireable("division2_replicate_16_27_A_17_28")))) | (A (G (is-fireable("division1_replicate_13_10_A"))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A ((((((E (X (is-fireable("division2_mutate_19_6_A_20_7")))) | (A ((A (X (is-fireable("division2_replicate_28_12_B_29_12")))) U (is-fireable("division2_mutate_7_27_B_8_26"))))) & ((E (F ((is-fireable("division2_replicate_11_14_A_10_13")) | (is-fireable("division2_replicate_25_2_A_25_3"))))) | (! (is-fireable("division2_replicate_10_13_A_9_14"))))) & (! (E (F (E (F (is-fireable("division2_mutate_29_27_A_29_26")))))))) | (A ((is-fireable("division2_replicate_24_26_A_23_27")) U ((! (is-fireable("division2_mutate_3_30_B_4_30"))) & (is-fireable("division2_mutate_16_27_A_17_28")))))) U (A (G (E (F (is-fireable("division2_replicate_27_14_A_27_15")))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      (E (G (! (is-fireable("division2_mutate_17_14_A_16_15"))))) | (E (((E ((A (F (E (G (is-fireable("division2_mutate_26_22_B_25_21")))))) U (! ((is-fireable("division2_mutate_20_7_A_21_6")) | (is-fireable("division2_mutate_5_24_A_5_25")))))) & (! (A ((((is-fireable("division1_mutate_17_21_B")) | (is-fireable("division2_mutate_3_10_A_4_9"))) | (is-fireable("division2_replicate_21_2_B_20_2"))) U (is-fireable("division2_replicate_4_15_B_5_16")))))) U (A ((is-fireable("division2_mutate_4_3_B_3_2")) U (((A (G (is-fireable("division2_mutate_12_7_A_12_6")))) & (! ((is-fireable("division2_mutate_24_2_A_25_2")) & (is-fireable("division2_replicate_19_11_A_20_11"))))) | (! (A (F (is-fireable("division2_replicate_10_22_B_9_21"))))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (X (! (E (X ((E ((! (is-fireable("division2_replicate_3_22_B_4_21"))) U (E (G (is-fireable("division2_mutate_27_3_A_26_2")))))) & (((! (is-fireable("division1_mutate_14_28_A"))) & (A (G (is-fireable("division2_mutate_28_16_A_27_16"))))) | (! (is-fireable("division2_mutate_27_23_A_27_22")))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (G ((! (E (F ((! (E (F (is-fireable("division2_mutate_4_22_A_4_23"))))) & (((is-fireable("division1_mutate_20_12_A")) | (is-fireable("division1_mutate_29_28_B"))) & ((is-fireable("division2_replicate_7_11_B_8_12")) & (is-fireable("division2_replicate_3_6_A_2_7")))))))) & (! (E (X (A (G (is-fireable("division2_replicate_20_17_B_20_16")))))))))
   end.
Property PhaseVariation-PT-D30CS100-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A ((A ((is-fireable("division2_replicate_24_28_B_23_28")) U (! (is-fireable("division1_mutate_10_19_B"))))) U (E (X (A (G (((is-fireable("division2_mutate_8_2_A_7_3")) | (A ((is-fireable("division2_mutate_15_4_A_15_5")) U (is-fireable("division2_replicate_27_27_A_26_26"))))) & (E (X (is-fireable("division2_replicate_10_17_B_10_16"))))))))))
   end.
