Property StigmergyCommit-PT-10b-LTLFireability-00
  "Automatically generated"
  is:
    A !X X (F "t79491"? U "t212706"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-01
  "Automatically generated"
  is:
    A F !F X (G F X (X "t39023"? | X "t129743"?) U !"t39023"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-02
  "Automatically generated"
  is:
    A (X "t201137"? | G !F "t212744"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-03
  "Automatically generated"
  is:
    A F (!"t162296"? | F X "t46286"? | ("t335748"? & !G ("t56104"? | "t46286"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-04
  "Automatically generated"
  is:
    A ((X X G F "t119455"? U G "t310526"?) U !X G "t310526"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-05
  "Automatically generated"
  is:
    A (F ("t52144"? & "t309674"?) & G !F X ("t141240"? & !"t141240"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-06
  "Automatically generated"
  is:
    A (!"t245227"? | G F "t245227"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-07
  "Automatically generated"
  is:
    A (G !"t96610"? U !(!"t132127"? U G ("t224906"? | F "t97239"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-08
  "Automatically generated"
  is:
    A !("t59919"? | !F !("t326763"? & F G (!"t337536"? & F "t63545"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-09
  "Automatically generated"
  is:
    A X (G "t308384"? | F G "t308384"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-10
  "Automatically generated"
  is:
    A (G ("t182031"? | F "t182031"?) | X G ("t145330"? U !X "t182031"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-11
  "Automatically generated"
  is:
    A F (G X G "t77402"? U G ("t238148"? U G ("t191335"? | G "t191335"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-12
  "Automatically generated"
  is:
    A ("t133686"? & (!(G "t64655"? U "t294897"?) | X "t294897"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-13
  "Automatically generated"
  is:
    A !(X "t24240"? & !(F "t258712"? & G (!"t167748"? & X "t24240"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-14
  "Automatically generated"
  is:
    A ("t293050"? | F "t293050"? | G "t276556"? | G X "t293050"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-15
  "Automatically generated"
  is:
    A X G !("t11027"? & F "t11027"?)
  end.
