Property StigmergyElection-PT-09a-LTLFireability-00
  "Automatically generated"
  is:
    A F !X !X ((!"t11230"? U F "t2152"?) U "t11230"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-01
  "Automatically generated"
  is:
    A ("t12818"? | !G F (G "t7477"? & ("t7477"? | G "t16846"? | F "t7118"?)))
  end.
Property StigmergyElection-PT-09a-LTLFireability-02
  "Automatically generated"
  is:
    A ("t16308"? & (X G (X "t16308"? & X G !"t7994"?) | !X "t12977"?))
  end.
Property StigmergyElection-PT-09a-LTLFireability-03
  "Automatically generated"
  is:
    A ("t7178"? & F ("t16292"? & G (G F "t17275"? U !"t7178"?)))
  end.
Property StigmergyElection-PT-09a-LTLFireability-04
  "Automatically generated"
  is:
    A (!G ("t17442"? & G !"t17995"?) & G !F X F "t17288"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-05
  "Automatically generated"
  is:
    A !G X !F "t16543"?
  end.
Property StigmergyElection-PT-09a-LTLFireability-06
  "Automatically generated"
  is:
    A (X G X "t16020"? | !(G "t905"? U ("t7654"? | F "t13407"?)))
  end.
Property StigmergyElection-PT-09a-LTLFireability-07
  "Automatically generated"
  is:
    A (("t5525"? | "t2340"? | G F X "t181"?) & X F G "t2340"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-08
  "Automatically generated"
  is:
    A X !G (!"t10193"? U X "t8684"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-09
  "Automatically generated"
  is:
    A F !("t1521"? & !F "t12830"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-10
  "Automatically generated"
  is:
    A ((G "t5906"? U F G !"t325"?) | F !"t11213"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-11
  "Automatically generated"
  is:
    A (!("t4662"? & F "t14102"?) | X ("t3522"? & G "t3522"? & F !"t7205"?))
  end.
Property StigmergyElection-PT-09a-LTLFireability-12
  "Automatically generated"
  is:
    A F (("t8370"? | X !G "t8370"?) U (G "t12785"? | X "t6467"?))
  end.
Property StigmergyElection-PT-09a-LTLFireability-13
  "Automatically generated"
  is:
    A (G ("t6875"? U G (F X "t14010"? U "t6875"?)) | X X F "t13635"?)
  end.
Property StigmergyElection-PT-09a-LTLFireability-14
  "Automatically generated"
  is:
    A !F X (X X "t12081"? | ("t12081"? U X "t170"?))
  end.
Property StigmergyElection-PT-09a-LTLFireability-15
  "Automatically generated"
  is:
    A X (G X "t16740"? & G X (!"t3561"? & "t1306"?))
  end.
