Property StigmergyCommit-PT-07b-LTLFireability-00
  "Automatically generated"
  is:
    A !(G "t8461"? U (X "t4985"? | G F (F "t9413"? | X G "t12563"?)))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-01
  "Automatically generated"
  is:
    A F ("t3760"? | !G !F X !(!"t6357"? & X "t15296"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-02
  "Automatically generated"
  is:
    A X (F "t2384"? & X ((!F "t3423"? | X !"t6719"?) U !"t11087"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-03
  "Automatically generated"
  is:
    A G !F X F (G "t1496"? | G X (!"t13808"? U "t13808"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-04
  "Automatically generated"
  is:
    A F (F "t526"? & G (X "t526"? | X F ("t8499"? & G "t8499"?)))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-05
  "Automatically generated"
  is:
    A (G "t13282"? & F ("t1685"? | "t11343"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-06
  "Automatically generated"
  is:
    A X !X F X !X F "t10549"?
  end.
Property StigmergyCommit-PT-07b-LTLFireability-07
  "Automatically generated"
  is:
    A X ("t11035"? | (!F !("t2460"? | "t8671"?) & F (G "t8671"? U "t8192"?)))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-08
  "Automatically generated"
  is:
    A G (!"t4798"? | "t7877"?)
  end.
Property StigmergyCommit-PT-07b-LTLFireability-09
  "Automatically generated"
  is:
    A G ((F "t8668"? U X "t5596"?) U !X X "t3549"?)
  end.
Property StigmergyCommit-PT-07b-LTLFireability-10
  "Automatically generated"
  is:
    A X (G "t14297"? U (X "t2422"? | X !G X !G X "t2422"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-11
  "Automatically generated"
  is:
    A (F (G "t11148"? | X X X "t11148"?) U ("t3261"? U X G X "t11148"?))
  end.
Property StigmergyCommit-PT-07b-LTLFireability-12
"Automatically generated 2023"
is:
A (G !"t10809"? U (!X F "t12044"? & X F ("t10809"? | G "t10809"?)))
end.
Property StigmergyCommit-PT-07b-LTLFireability-13
"Automatically generated"
is:
A (!F G F X G "t5541"? U (G "t8883"? | F "t9681"?))
end.
Property StigmergyCommit-PT-07b-LTLFireability-14
"Automatically generated"
is:
A ("t14400"? & !X ((X "t14400"? | F "t9867"?) U "t14400"?))
end.
Property StigmergyCommit-PT-07b-LTLFireability-15
"Automatically generated"
is:
A (!"t7029"? & F X G !"t7029"? & G "t2822"? & G "t1862"?)
end.
