Property StigmergyCommit-PT-10b-LTLFireability-00
  "Automatically generated"
  is:
    A !X (!"t46597"? | (G "t100674"? & ("t46597"? U "t355915"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-01
  "Automatically generated"
  is:
    A ("t137460"? & G ("t99084"? & "t137460"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-02
  "Automatically generated"
  is:
    A X !("t161586"? | F "t93222"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-03
  "Automatically generated"
  is:
    A X F G !X X G ("t179047"? & F "t198659"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-04
  "Automatically generated"
  is:
    A (F "t299753"? U (!"t297767"? & !X (G "t297767"? & ("t289490"? U X "t299753"?))))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-05
  "Automatically generated"
  is:
    A F ("t10630"? U "t307709"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-06
  "Automatically generated"
  is:
    A X (G !("t277079"? & "t57629"?) | X !X (!"t254514"? & F "t254514"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-07
  "Automatically generated"
  is:
    A F (F "t154210"? & !X ("t183587"? | X "t130827"?) & (!"t16534"? U "t130827"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-08
  "Automatically generated"
  is:
    A (F X F "t37158"? & X F X (!"t209587"? & (!"t37158"? | "t296653"?)))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-09
  "Automatically generated"
  is:
    A !G (G "t171184"? | (("t47503"? U "t55717"?) U X G X "t311361"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-10
  "Automatically generated"
  is:
    A G (F !(X "t79718"? U G ("t286712"? U "t287294"?)) U X X G "t79718"?)
  end.
Property StigmergyCommit-PT-10b-LTLFireability-11
  "Automatically generated"
  is:
    A !("t281468"? | G !"t237782"? | G ("t7247"? & F "t281468"?))
  end.
Property StigmergyCommit-PT-10b-LTLFireability-12
"Automatically generated"
is:
A (G "t48866"? | X F "t128615"? | F !("t163316"? & X "t142191"?))
end.
Property StigmergyCommit-PT-10b-LTLFireability-13
"Automatically generated"
is:
A (F !"t226670"? | (("t308686"? U F "t272040"?) & !("t18490"? U "t308686"?)))
end.
Property StigmergyCommit-PT-10b-LTLFireability-14
"Automatically generated"
is:
A (X G "t349983"? & (G !(!"t259452"? & "t54974"?) | G ("t259452"? | "t54974"?)))
end.
Property StigmergyCommit-PT-10b-LTLFireability-15
"Automatically generated"
is:
A F !G !F "t248505"?
end.
