Property PhaseVariation-PT-D30CS100-LTLFireability-00
  "Automatically generated"
  is:
    A X X X ("division2_replicate_10_21_B_11_21"? | G !("division2_mutate_24_25_A_23_25"? & !X G ("division2_mutate_10_7_A_9_6"? & "division2_mutate_23_24_A_22_25"?)))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-01
  "Automatically generated"
  is:
    A G F (X X ("division1_replicate_16_6_A"? | F X F "division2_mutate_25_9_A_24_9"?) & ("division2_mutate_25_9_A_24_9"? | G "division1_replicate_16_6_A"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-02
  "Automatically generated"
  is:
    A X (X "division2_replicate_21_19_B_22_20"? & (("division2_mutate_27_3_A_27_4"? U X "division2_replicate_19_8_B_19_9"?) U X ("division2_replicate_21_19_B_22_20"? U "division2_replicate_23_24_B_23_25"?)))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-03
  "Automatically generated"
  is:
    A ((F "division1_mutate_25_10_A"? U !X ("division2_replicate_20_20_A_20_19"? & "division2_mutate_13_24_A_14_24"?)) U G ("division2_replicate_20_20_A_20_19"? U !G "division1_mutate_25_10_A"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-04
  "Automatically generated"
  is:
    A (!X !G "division2_mutate_11_18_A_12_18"? | (("division2_replicate_20_19_A_21_20"? U "division2_mutate_11_18_A_12_18"?) U ("division2_replicate_15_30_B_15_29"? U "division2_mutate_18_9_B_17_9"?)))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-05
  "Automatically generated"
  is:
    A X (G "division2_mutate_14_25_B_14_24"? U X ((("division2_mutate_2_15_A_1_15"? U "division2_replicate_11_22_B_12_23"?) U "division2_mutate_5_1_A_6_2"?) & X !X "division2_replicate_6_4_A_6_3"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-06
  "Automatically generated"
  is:
    A G X (!("division2_replicate_5_19_A_6_20"? & "division2_replicate_6_7_B_5_7"?) & X "division2_replicate_14_7_B_15_7"?)
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-07
  "Automatically generated"
  is:
    A ("division2_replicate_24_20_B_25_20"? & ("division2_replicate_17_17_A_16_18"? U (X "division2_mutate_30_4_B_29_4"? | ("division2_replicate_24_20_B_25_20"? U !"division2_mutate_24_13_A_23_14"?))))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-08
  "Automatically generated"
  is:
    A (X "division2_mutate_19_3_B_19_4"? U F (!G !"division2_replicate_6_13_B_5_12"? U F "division2_replicate_7_25_B_8_24"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-09
  "Automatically generated"
  is:
    A X X X X G X (X "division2_replicate_16_29_A_17_29"? U (("division2_replicate_16_29_A_17_29"? U "division2_replicate_6_14_B_6_15"?) U "division2_mutate_17_25_B_18_26"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-10
  "Automatically generated"
  is:
    A (F !"division2_mutate_1_8_B_2_9"? U ("division2_replicate_18_5_B_19_6"? | F G F G "division1_replicate_24_12_B"?))
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-11
  "Automatically generated"
  is:
    A F ("division2_mutate_24_22_A_25_22"? & "division2_replicate_2_21_A_3_20"? & G !"division2_mutate_3_9_A_2_9"? & G !G X "division2_mutate_8_27_B_7_27"?)
  end.
Property PhaseVariation-PT-D30CS100-LTLFireability-12
"Automatically generated"
is:
A (X F G F G F ("division2_replicate_20_1_A_21_2"? | "division2_replicate_23_20_B_24_19"?) | ("division2_replicate_20_1_A_21_2"? U "division2_mutate_26_15_B_25_16"?))
end.
Property PhaseVariation-PT-D30CS100-LTLFireability-13
"Automatically generated"
is:
A (X X ("division2_mutate_12_9_A_11_8"? U "division2_replicate_9_10_A_8_11"?) | G !F "division1_mutate_10_23_B"?)
end.
Property PhaseVariation-PT-D30CS100-LTLFireability-14
"Automatically generated"
is:
A F G (F "division2_mutate_11_6_B_10_5"? | !X !X "division2_mutate_8_20_B_7_21"?)
end.
Property PhaseVariation-PT-D30CS100-LTLFireability-15
"Automatically generated"
is:
A F G "division1_mutate_18_8_A"?
end.
