Property ResIsolation-PT-N11P2-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t21346")))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t51320")))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (X (E (F (A ((E (X (is-fireable("t53829")))) U (is-fireable("t30287")))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (A (G ((E (F ((E (X (is-fireable("t2852")))) | (E (G (is-fireable("t15847"))))))) & (A ((is-fireable("t28545")) U (! (is-fireable("t36548"))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (((! (is-fireable("t59977"))) | (! ((A ((A (F (is-fireable("t59440")))) U ((is-fireable("t63802")) & (is-fireable("t54998"))))) | ((is-fireable("t2304")) & (! (A (X (is-fireable("t59505"))))))))) U ((is-fireable("t64017")) | (is-fireable("t963"))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((((A (X (is-fireable("t69318")))) | ((A (F (is-fireable("t31989")))) | (A (X (is-fireable("t20104")))))) | (! (A (G (is-fireable("t28322")))))) | (((E (((is-fireable("t70197")) | (is-fireable("t67437"))) U (is-fireable("t25836")))) & (E (F (! (is-fireable("t16741")))))) | ((A ((! (is-fireable("t58221"))) U (is-fireable("t57204")))) | (A (G (! (is-fireable("t33713"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((A (G ((A (G (is-fireable("t10352")))) & ((A ((is-fireable("t7158")) U (is-fireable("t67382")))) & ((is-fireable("t66053")) | (is-fireable("t40371"))))))) & (! ((is-fireable("t62050")) & (is-fireable("t29395"))))) | ((A (((is-fireable("t34922")) | (A (X (is-fireable("t31230"))))) U (! ((! (is-fireable("t71782"))) & (! (is-fireable("t43219"))))))) & ((E (G ((! (is-fireable("t16050"))) | (is-fireable("t99"))))) & (((! (is-fireable("t43407"))) & (E (G (is-fireable("t36559"))))) & ((((is-fireable("t18436")) & (is-fireable("t45572"))) | ((is-fireable("t57226")) | (is-fireable("t53815")))) & (is-fireable("t48084"))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      (E ((! ((E (G ((E (G (is-fireable("t12280")))) | ((is-fireable("t12665")) & (is-fireable("t67445")))))) & (((E (G (is-fireable("t30820")))) & (E (X (is-fireable("t8643"))))) | ((A (G (is-fireable("t57668")))) & (((is-fireable("t73416")) & (is-fireable("t5768"))) | (is-fireable("t46707"))))))) U (A (F (is-fireable("t6921")))))) | (A (X (! ((! (A (F (is-fireable("t36393"))))) | (((is-fireable("t29065")) & (E (F (is-fireable("t53773"))))) | (((is-fireable("t7152")) | (is-fireable("t28908"))) | ((is-fireable("t26133")) | (is-fireable("t57195")))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      (E (F (E (F (is-fireable("t50354")))))) | ((A ((E (X (is-fireable("t6554")))) U (((! ((is-fireable("t37807")) & (A (G (is-fireable("t23771")))))) & ((((is-fireable("t71102")) | (is-fireable("t73959"))) & (A (F (is-fireable("t32948"))))) | (A (G (is-fireable("t44341")))))) & ((A (X (! (is-fireable("t63478"))))) | (! (((is-fireable("t66282")) & (is-fireable("t64909"))) | (! (is-fireable("t53197"))))))))) & (A (F (E (((E (F (is-fireable("t17792")))) & (((is-fireable("t49663")) | (is-fireable("t72282"))) | (A (G (is-fireable("t27987")))))) U (! (E ((is-fireable("t16959")) U (is-fireable("t7498"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A ((A (G (A (G (E (X ((is-fireable("t57757")) | (is-fireable("t25691"))))))))) U (! (E (G (! (E (F ((is-fireable("t67680")) & (is-fireable("t70849"))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      (A (X (is-fireable("t69110")))) | (E ((E (((A (F (is-fireable("t17139")))) | (((A (G (is-fireable("t57788")))) | (is-fireable("t66127"))) & ((! (is-fireable("t25288"))) | ((is-fireable("t71569")) | (is-fireable("t61568")))))) U ((A (F (! (is-fireable("t27993"))))) | (A (G ((is-fireable("t47258")) & (is-fireable("t31134")))))))) U (E (F (is-fireable("t22868"))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (E (F (A (((((is-fireable("t44301")) | (is-fireable("t4417"))) | (! (is-fireable("t1175")))) | (((is-fireable("t52846")) & (is-fireable("t55620"))) | (is-fireable("t30267")))) U (A (X (A (X (is-fireable("t8507")))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-12
   "Automatically generated by Citili v2024"
   is:
      A (G (E (F (A (X (E (F (A (X (is-fireable("t28744")))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-13
   "Automatically generated by Citili v2024"
   is:
      ! (E ((! (E (X ((A (X (is-fireable("t65028")))) & (is-fireable("t3652")))))) U ((is-fireable("t66957")) & ((! (is-fireable("t21587"))) | (E (((E (F (is-fireable("t71300")))) & (! (is-fireable("t28318")))) U ((is-fireable("t39436")) & (A (F (is-fireable("t48972")))))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-14
   "Automatically generated by Citili v2024"
   is:
      E (X (E (F (E (F (A ((is-fireable("t39267")) U (is-fireable("t71071")))))))))
   end.
Property ResIsolation-PT-N11P2-CTLFireability-15
   "Automatically generated by Citili v2024"
   is:
      A (X (A (X (A ((E (G ((is-fireable("t58729")) & (is-fireable("t47476"))))) U ((E ((is-fireable("t68113")) U (is-fireable("t66255")))) | (E (F (is-fireable("t2692"))))))))))
   end.
