Property StigmergyElection-PT-11b-LTLFireability-00
  "Automatically generated"
  is:
    A (!F !("t57599"? | F "t184264"?) U !G "t57599"?)
  end.
Property StigmergyElection-PT-11b-LTLFireability-01
  "Automatically generated"
  is:
    A (F "t70625"? U !X (!X "t249856"? & G !G "t249856"?))
  end.
Property StigmergyElection-PT-11b-LTLFireability-02
  "Automatically generated"
  is:
    A X (X ("t71456"? | "t180461"?) U (("t180461"? | "t255845"?) & !G X "t255845"?))
  end.
Property StigmergyElection-PT-11b-LTLFireability-03
  "Automatically generated"
  is:
    A (F ("t161181"? & F "t106521"?) & F X (X "t299656"? | G ("t106521"? U "t232000"?)))
  end.
Property StigmergyElection-PT-11b-LTLFireability-04
  "Automatically generated"
  is:
    A (X !F G X "t267479"? | (G "t267479"? U (G "t203964"? U X "t75172"?)))
  end.
Property StigmergyElection-PT-11b-LTLFireability-05
  "Automatically generated"
  is:
    A F !G F !"t71129"?
  end.
Property StigmergyElection-PT-11b-LTLFireability-06
  "Automatically generated"
  is:
    A F G F (!"t303597"? & !(!"t303597"? & F "t59020"?))
  end.
Property StigmergyElection-PT-11b-LTLFireability-07
  "Automatically generated"
  is:
    A (("t146875"? & X X X (G "t146875"? U "t203501"?)) U ("t203501"? & X !"t146875"?))
  end.
Property StigmergyElection-PT-11b-LTLFireability-08
  "Automatically generated"
  is:
    A (G "t212567"? | X ("t212567"? & X F "t325182"?))
  end.
Property StigmergyElection-PT-11b-LTLFireability-09
  "Automatically generated"
  is:
    A X X F G F X !F G "t19332"?
  end.
Property StigmergyElection-PT-11b-LTLFireability-10
  "Automatically generated"
  is:
    A (G "t225694"? & F ("t185883"? & "t127472"? & G ("t31318"? U "t225694"?)))
  end.
Property StigmergyElection-PT-11b-LTLFireability-11
  "Automatically generated"
  is:
    A G ("t57082"? & "t240953"?)
  end.
Property StigmergyElection-PT-11b-LTLFireability-12
"Automatically generated"
is:
A X (F "t266956"? U (F !G "t266956"? U G ("t354935"? U "t230220"?)))
end.
Property StigmergyElection-PT-11b-LTLFireability-13
"Automatically generated"
is:
A G (("t173445"? U "t135754"?) U X X ("t89257"? U F "t173445"?))
end.
Property StigmergyElection-PT-11b-LTLFireability-14
"Automatically generated"
is:
A X X G ("t89901"? & X F "t89901"?)
end.
Property StigmergyElection-PT-11b-LTLFireability-15
"Automatically generated"
is:
A G F G "t19622"?
end.
