Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-00
  "Automatically generated"
  is:
    A ("cured122121122111111"? | F !X !X ("cured122121122111111"? | X ("dead11122212111211"? | !F "cured11212221111221"?)))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-01
  "Automatically generated"
  is:
    A !F (("dead91222122212"? U F "dead91222122212"?) U !"cured121111212111111"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-02
  "Automatically generated"
  is:
    A X X ((F "cured11212111221221"? & X X "dead121221111212121"?) U G "dead122221211211222"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-03
  "Automatically generated"
  is:
    A X X X ("dead122211211222112"? | "spread12122221121112"? | X "cured11211121121122"? | G X "cured11212111211122"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-04
  "Automatically generated"
  is:
    A ((G F "dead11121222111221"? | F X ("dead11212122212211"? | "dead122112211222221"?)) U F "dead122112211222221"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-05
  "Automatically generated"
  is:
    A (!"dead121121212122112"? | (!(G "dead122221211111122"? & ("dead11222212211122"? | G X "dead122111222221212"?)) U X "dead121121212122112"?))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-06
  "Automatically generated"
  is:
    A G F G !F "spread12221112121111"?
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-07
  "Automatically generated"
  is:
    A F X X X ("spread1112221121122"? U !"cured121112212122122"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-08
  "Automatically generated"
  is:
    A G X G ("cured122112122111211"? U F ("dead122221212122121"? & "dead122111122112221"?))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-09
  "Automatically generated"
  is:
    A X !("dead121112122112222"? U G (X "cured121121211112211"? U ("dead121112122112222"? & X X "cured121111112121211"?)))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-10
  "Automatically generated"
  is:
    A ((G "dead92211122122"? | F !"cured91122122111"?) U !(G "dead122221121211211"? & !X "dead1011221111112"?))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-11
  "Automatically generated"
  is:
    A (G !"dead11111112111212"? & (("dead11111112111212"? | "cured121121222122222"? | !"dead11211121221122"?) U "cured121121222122222"?))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-12
  "Automatically generated"
  is:
    A !(("spread12111212112211"? & "cured122212222111112"?) U F X G X (F X "cured122212222111112"? U !"spread12111221211221"?))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-13
  "Automatically generated"
  is:
    A F X X G (G !X F "spread12212112221222"? U "dead11122111212211"?)
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-14
  "Automatically generated"
  is:
    A (("dead11212212122222"? U "spread12211212122111"?) | (!"cured721221222"? U ("spread12211212122111"? & G "cured721221222"?)))
  end.
Property ViralEpidemic-PT-S02D1C1A12-LTLFireability-15
  "Automatically generated"
  is:
    A (X X G !"dead122211221122221"? & F X "cured122122111122211"?)
  end.
