Property PhaseVariation-PT-D30CS100-LTLCardinality-00
  "Automatically generated"
  is:
    A F (F ((#tokens("pool__26_9_")) <= (#tokens("cell___10_20__B_"))) & F (!((2) <= (#tokens("cell___14_23__A_"))) U F (X ((#tokens("cell___15_24__A_")) <= (#tokens("cell___30_22__B_"))) & X ((#tokens("cell___8_25__B_")) <= (#tokens("cell___14_15__A_"))))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-01
  "Automatically generated"
  is:
    A (!(!((#tokens("cell___22_10__A_")) <= (#tokens("cell___22_17__B_"))) U ((1) <= (#tokens("cell___1_21__A_")))) & F X X X X !(((1) <= (#tokens("pool__22_25_"))) U ((2) <= (#tokens("pool__16_22_")))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-02
  "Automatically generated"
  is:
    A (F ((#tokens("cell___13_25__B_")) <= (#tokens("pool__14_10_"))) & G ((1) <= (#tokens("pool__5_21_"))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-03
  "Automatically generated"
  is:
    A !(X G X X ((1) <= (#tokens("cell___11_10__B_"))) U (((2) <= (#tokens("cell___23_17__B_"))) U (X ((2) <= (#tokens("cell___11_19__A_"))) U (((#tokens("cell___10_19__A_")) <= (#tokens("pool__18_3_"))) U ((2) <= (#tokens("cell___15_19__A_")))))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-04
  "Automatically generated"
  is:
    A (G (((#tokens("cell___18_26__B_")) <= (#tokens("pool__14_17_"))) & ((1) <= (#tokens("pool__26_27_")))) & !G !G ((#tokens("cell___18_26__B_")) <= (#tokens("pool__14_17_"))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-05
  "Automatically generated"
  is:
    A !((((1) <= (#tokens("pool__13_29_"))) & (((2) <= (#tokens("cell___23_1__B_"))) U ((1) <= (#tokens("cell___3_20__B_"))))) U G (((2) <= (#tokens("cell___23_1__B_"))) | G (((1) <= (#tokens("cell___3_20__B_"))) & F ((#tokens("cell___9_16__B_")) <= (#tokens("cell___30_14__A_"))))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-06
  "Automatically generated"
  is:
    A (F X F G ((#tokens("pool__21_16_")) <= (#tokens("pool__8_26_"))) U X F G ((1) <= (#tokens("cell___14_4__B_"))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-07
  "Automatically generated"
  is:
    A X X !G (G ((#tokens("pool__15_3_")) <= (#tokens("cell___15_20__B_"))) | (F ((#tokens("cell___6_15__A_")) <= (#tokens("cell___7_15__A_"))) & F ((#tokens("cell___14_9__B_")) <= (#tokens("cell___16_20__B_")))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-08
  "Automatically generated"
  is:
    A (!(((1) <= (#tokens("cell___8_10__B_"))) & X F ((#tokens("cell___9_13__B_")) <= (#tokens("cell___29_14__B_")))) U (((#tokens("cell___14_14__B_")) <= (#tokens("pool__2_25_"))) & X ((1) <= (#tokens("cell___8_10__B_")))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-09
  "Automatically generated"
  is:
    A !(X G F ((2) <= (#tokens("cell___27_3__A_"))) | F !F ((#tokens("cell___28_7__B_")) <= (#tokens("cell___16_1__B_"))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-10
  "Automatically generated"
  is:
    A (X !X (F G ((#tokens("pool__29_16_")) <= (#tokens("pool__20_4_"))) & !X X !((#tokens("cell___24_24__B_")) <= (#tokens("cell___16_20__A_")))) U X ((#tokens("cell___11_23__B_")) <= (#tokens("cell___8_30__A_"))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-11
  "Automatically generated"
  is:
    A (G X X X ((#tokens("cell___5_25__A_")) <= (#tokens("cell___30_13__A_"))) U (((2) <= (#tokens("cell___4_7__B_"))) & !(((#tokens("pool__7_26_")) <= (#tokens("pool__3_24_"))) U ((#tokens("cell___5_25__A_")) <= (#tokens("cell___30_13__A_"))))))
  end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-12
"Automatically generated"
is:
A (G ((1) <= (#tokens("cell___8_1__B_"))) & (X (((#tokens("cell___18_9__B_")) <= (#tokens("pool__27_15_"))) | !G ((#tokens("cell___18_9__B_")) <= (#tokens("pool__27_15_")))) | X X ((#tokens("cell___3_19__B_")) <= (#tokens("pool__23_22_")))))
end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-13
"Automatically generated"
is:
A X !G F G (!((#tokens("cell___5_25__B_")) <= (#tokens("cell___5_18__A_"))) U X G X G (((#tokens("cell___5_25__B_")) <= (#tokens("cell___5_18__A_"))) U ((#tokens("pool__19_5_")) <= (#tokens("cell___21_10__A_")))))
end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-14
"Automatically generated"
is:
A X F (!G ((3) <= (#tokens("cell___7_13__A_"))) U G ((2) <= (#tokens("pool__20_3_"))))
end.
Property PhaseVariation-PT-D30CS100-LTLCardinality-15
"Automatically generated"
is:
A (G ((1) <= (#tokens("pool__5_2_"))) | F ((3) <= (#tokens("cell___11_8__B_"))) | !(((1) <= (#tokens("pool__3_11_"))) | X ((3) <= (#tokens("cell___11_8__B_")))))
end.
