Property StigmergyCommit-PT-08a-LTLFireability-00
  "Automatically generated"
  is:
    A F (!"t10463"? & F !F G (G "t6748"? U "t4076"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-01
  "Automatically generated"
  is:
    A F (("t1271"? & (F "t6660"? U "t6660"?)) U (!"t13070"? U X "t13070"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-02
  "Automatically generated"
  is:
    A G (G (("t9243"? U (G "t14469"? U "t3"?)) U "t14845"?) U G "t18672"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-03
  "Automatically generated"
  is:
    A F (X (G "t16057"? U F "t15788"?) U G X "t15788"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-04
  "Automatically generated"
  is:
    A X (F (!"t8357"? | !"t8139"?) | ("t8468"? U ("t8357"? U "t2493"?)))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-05
  "Automatically generated"
  is:
    A G X X X !F ("t17506"? U F G "t2411"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-06
  "Automatically generated"
  is:
    A X ("t8913"? & G "t15022"? & F (!"t15022"? U X "t10749"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-07
  "Automatically generated"
  is:
    A (!("t4989"? | F X G "t18183"?) U G "t18183"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-08
  "Automatically generated"
  is:
    A X ((F "t9015"? U "t4870"?) U X F G "t12498"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-09
  "Automatically generated"
  is:
    A (X !("t3595"? U "t7946"?) U X G "t7946"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-10
  "Automatically generated"
  is:
    A !F !X G !F ("t13903"? | F G "t2031"?)
  end.
Property StigmergyCommit-PT-08a-LTLFireability-11
  "Automatically generated"
  is:
    A !(X G X "t9401"? | ("t7738"? U ("t5150"? | "t7738"?)))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-12
  "Automatically generated"
  is:
    A (!"t2357"? U (!"t9760"? & F "t2357"? & !X ("t2357"? U !"t2357"?)))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-13
  "Automatically generated"
  is:
    A F (F "t1691"? & !G ("t1691"? | G F !"t4847"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-14
  "Automatically generated"
  is:
    A ("t17837"? & X "t6462"? & X ("t17837"? & G X !"t17837"?))
  end.
Property StigmergyCommit-PT-08a-LTLFireability-15
  "Automatically generated"
  is:
    A G X G "t16175"?
  end.
