Property StigmergyCommit-PT-10b-LTLCardinality-00
  "Automatically generated"
  is:
    A F !((((#tokens("p149")) <= (#tokens("p3342"))) U F ((#tokens("p3240")) <= (#tokens("p2531")))) U X X (((#tokens("p2168")) <= (#tokens("p1867"))) & X (((#tokens("p3240")) <= (#tokens("p2531"))) | ((#tokens("p3147")) <= (#tokens("p1171"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-01
  "Automatically generated"
  is:
    A (!F ((((#tokens("p2346")) <= (#tokens("p842"))) | ((#tokens("p3218")) <= (#tokens("p2025")))) & X ((#tokens("p3218")) <= (#tokens("p2025")))) U !(((#tokens("p2346")) <= (#tokens("p842"))) & ((#tokens("p1757")) <= (#tokens("p1881")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-02
  "Automatically generated"
  is:
    A F (F ((#tokens("p1928")) <= (#tokens("p2323"))) | ((((#tokens("p1205")) <= (#tokens("p2379"))) | G ((#tokens("p1205")) <= (#tokens("p2379")))) U (((#tokens("p2186")) <= (#tokens("p39"))) & ((1) <= (#tokens("p2028"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-03
  "Automatically generated"
  is:
    A (G !((1) <= (#tokens("p2675"))) U G ((1) <= (#tokens("p2675"))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-04
  "Automatically generated"
  is:
    A G (((#tokens("p3044")) <= (#tokens("p613"))) | X (((3) <= (#tokens("p776"))) & !X (((1) <= (#tokens("p551"))) | F X ((#tokens("p3225")) <= (#tokens("p2946"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-05
  "Automatically generated"
  is:
    A X X X (((#tokens("p1137")) <= (#tokens("p3017"))) U (((((#tokens("p1937")) <= (#tokens("p835"))) U ((#tokens("p1137")) <= (#tokens("p3017")))) U ((#tokens("p532")) <= (#tokens("p2879")))) U !((#tokens("p619")) <= (#tokens("p2778")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-06
  "Automatically generated"
  is:
    A X !X !F X ((3) <= (#tokens("p3049")))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-07
  "Automatically generated"
  is:
    A G (F ((#tokens("p1953")) <= (#tokens("p3256"))) U X X X X (!((#tokens("p11")) <= (#tokens("p2742"))) & F !X ((#tokens("p1953")) <= (#tokens("p3256")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-08
  "Automatically generated"
  is:
    A G X !X X !F (X ((1) <= (#tokens("p614"))) U F (((1) <= (#tokens("p614"))) & G ((1) <= (#tokens("p389")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-09
  "Automatically generated"
  is:
    A (!F ((#tokens("p1930")) <= (#tokens("p1974"))) & (((#tokens("p3242")) <= (#tokens("p3097"))) U (((#tokens("p3054")) <= (#tokens("p634"))) | !G !X ((#tokens("p3054")) <= (#tokens("p634"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-10
  "Automatically generated"
  is:
    A (!((#tokens("p1482")) <= (#tokens("p2195"))) | ((((2) <= (#tokens("p54"))) U (G X !((#tokens("p1272")) <= (#tokens("p544"))) U ((#tokens("p1482")) <= (#tokens("p2195"))))) U (((#tokens("p2858")) <= (#tokens("p1164"))) U ((#tokens("p1988")) <= (#tokens("p2145"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-11
  "Automatically generated"
  is:
    A X !(!((#tokens("p1118")) <= (#tokens("p2713"))) | X ((3) <= (#tokens("p1489"))) | !F X G (((#tokens("p735")) <= (#tokens("p2498"))) | ((3) <= (#tokens("p1489")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-12
"Automatically generated"
is:
A F !((#tokens("p1102")) <= (#tokens("p2653")))
end.
Property StigmergyCommit-PT-10b-LTLCardinality-13
"Automatically generated"
is:
A (X F X X ((#tokens("p111")) <= (#tokens("p2906"))) U ((1) <= (#tokens("p3006"))))
end.
Property StigmergyCommit-PT-10b-LTLCardinality-14
"Automatically generated"
is:
A (!((#tokens("p50")) <= (#tokens("p2084"))) | G X (F X ((1) <= (#tokens("p2749"))) | (X ((2) <= (#tokens("p2626"))) U ((2) <= (#tokens("p2626"))))))
end.
Property StigmergyCommit-PT-10b-LTLCardinality-15
"Automatically generated"
is:
A X !X G (((3) <= (#tokens("p182"))) U X F !(!((3) <= (#tokens("p1398"))) & ((3) <= (#tokens("p182")))))
end.
