Property StigmergyCommit-PT-08a-LTLFireability-00
  "Automatically generated"
  is:
    A G (("t15646"? U "t17459"?) U !X (G X "t15646"? U X ("t11948"? | "t4365"?)))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-01
  "Automatically generated"
  is:
    A (("t3698"? U G "t5518"?) & X X !G X X ("t17957"? & !"t8521"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-02
  "Automatically generated"
  is:
    A !(X X "t6310"? U F (("t3644"? & G "t10810"?) U F ("t3644"? | "t14690"?)))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-03
  "Automatically generated"
  is:
    A G (!X !"t6199"? U (!G "t7625"? U F "t1619"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-04
  "Automatically generated"
  is:
    A (!F (("t16426"? & "t3117"?) U !"t16426"?) & (!"t16426"? | !G "t1393"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-05
  "Automatically generated"
  is:
    A F ("t7274"? U ("t6264"? U F "t6263"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-06
  "Automatically generated"
  is:
    A (F "t13053"? & X X (X "t11786"? U F X "t18036"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-07
  "Automatically generated"
  is:
    A X (G "t13854"? & F X "t600"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-08
  "Automatically generated"
  is:
    A (X "t12741"? & (G "t12899"? U F "t5779"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-09
  "Automatically generated"
  is:
    A !F G (G "t4355"? | F X !"t697"? | ("t697"? & G "t1890"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-10
  "Automatically generated"
  is:
    A !X !X (!F "t3411"? U X "t9547"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-11
  "Automatically generated"
  is:
    A X G ((G !"t3758"? U "t10970"?) U (X "t10970"? | G X "t4129"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-12
"Automatically generated"
is:
A X F !("t9767"? & F "t9767"?)
end.
Property StigmergyCommit-PT-08a-LTLFireability-13
"Automatically generated"
is:
A ("t12995"? & !("t3930"? & G !(!"t2004"? | G "t3930"?) & X "t12995"?))
end.
Property StigmergyCommit-PT-08a-LTLFireability-14
"Automatically generated"
is:
A !X (("t4326"? & G "t16512"? & X F ("t5552"? & "t1715"?)) U !"t5860"?)
end.
Property StigmergyCommit-PT-08a-LTLFireability-15
"Automatically generated"
is:
A X G ("t2509"? & "t14019"?)
end.
