Property StigmergyElection-PT-11a-LTLFireability-00
  "Automatically generated"
  is:
    A !F (X X !("t7756"? U "t55907"?) U !("t21664"? | X G "t55907"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-01
  "Automatically generated"
  is:
    A !(X "t112796"? | !G "t92516"?)
  end.
Property StigmergyElection-PT-11a-LTLFireability-02
  "Automatically generated"
  is:
    A X !X X X ("t18637"? | G ("t70527"? & F "t13395"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-03
  "Automatically generated"
  is:
    A ("t38210"? | X !F "t106066"?)
  end.
Property StigmergyElection-PT-11a-LTLFireability-04
  "Automatically generated"
  is:
    A G X (!"t48293"? & F G X !X "t6177"?)
  end.
Property StigmergyElection-PT-11a-LTLFireability-05
  "Automatically generated"
  is:
    A ("t120016"? U ("t40313"? & ("t122588"? U X F "t46874"?)))
  end.
Property StigmergyElection-PT-11a-LTLFireability-06
  "Automatically generated"
  is:
    A G !X !G (G "t11322"? | F ("t52849"? | G "t52849"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-07
  "Automatically generated"
  is:
    A ("t32825"? | X (X X !F X "t79659"? U X "t32825"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-08
  "Automatically generated"
  is:
    A X (!(G "t114224"? & X "t75529"?) & F X ("t107402"? & !G "t23486"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-09
  "Automatically generated"
  is:
    A X ("t15192"? & G F X !X G !F !F "t7621"?)
  end.
Property StigmergyElection-PT-11a-LTLFireability-10
  "Automatically generated"
  is:
    A F !(G "t5252"? & ("t59429"? | X "t59429"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-11
  "Automatically generated"
  is:
    A G X (!G "t116816"? & F "t134085"?)
  end.
Property StigmergyElection-PT-11a-LTLFireability-12
  "Automatically generated"
  is:
    A ("t71815"? | (G "t100001"? U "t71815"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-13
  "Automatically generated"
  is:
    A F G ("t126928"? | G X (F G "t126928"? | F ("t95547"? U "t116505"?)))
  end.
Property StigmergyElection-PT-11a-LTLFireability-14
  "Automatically generated"
  is:
    A (X !("t26635"? & F X "t26635"?) & F (F "t97377"? | X X "t26635"?))
  end.
Property StigmergyElection-PT-11a-LTLFireability-15
  "Automatically generated"
  is:
    A X G F (G ("t40972"? U "t115423"?) & !(X "t113115"? & X "t115423"?))
  end.
