1
Property Eratosthenes-PT-050-LTLCardinality-0
2
"Automatically generated"
4
A X ((F ((1) <= (#tokens("p16")))) U (((#tokens("p3")) <= (#tokens("p50")))))
6
Property Eratosthenes-PT-050-LTLCardinality-1
7
"Automatically generated"
9
A X ((F ((2) <= (#tokens("p19")))) U (G ((#tokens("p39")) <= (#tokens("p26")))))
11
Property Eratosthenes-PT-050-LTLCardinality-2
12
"Automatically generated"
14
A F ((((2) <= (#tokens("p42")))) U (F ((2) <= (#tokens("p19")))))
16
Property Eratosthenes-PT-050-LTLCardinality-3
17
"Automatically generated"
19
A ((#tokens("p17")) <= (#tokens("p43")))
21
Property Eratosthenes-PT-050-LTLCardinality-4
22
"Automatically generated"
24
A X ((F ((#tokens("p30")) <= (#tokens("p31")))) U (G ((#tokens("p8")) <= (#tokens("p12")))))
26
Property Eratosthenes-PT-050-LTLCardinality-5
27
"Automatically generated"
29
A G G X X ((3) <= (#tokens("p19")))
31
Property Eratosthenes-PT-050-LTLCardinality-6
32
"Automatically generated"
34
A ((#tokens("p28")) <= (#tokens("p45")))
36
Property Eratosthenes-PT-050-LTLCardinality-7
37
"Automatically generated"
39
A G G G X ((#tokens("p13")) <= (#tokens("p27")))
41
Property Eratosthenes-PT-050-LTLCardinality-8
42
"Automatically generated"
44
A G G G X ((3) <= (#tokens("p45")))
46
Property Eratosthenes-PT-050-LTLCardinality-9
47
"Automatically generated"
49
A F G G F ((#tokens("p30")) <= (#tokens("p12")))
51
Property Eratosthenes-PT-050-LTLCardinality-10
52
"Automatically generated"
54
A ((#tokens("p5")) <= (#tokens("p9")))
56
Property Eratosthenes-PT-050-LTLCardinality-11
57
"Automatically generated"
59
A F ((F ((#tokens("p13")) <= (#tokens("p38")))) U (G ((#tokens("p44")) <= (#tokens("p32")))))
61
Property Eratosthenes-PT-050-LTLCardinality-12
62
"Automatically generated"
64
A X F X G ((3) <= (#tokens("p7")))
66
Property Eratosthenes-PT-050-LTLCardinality-13
67
"Automatically generated"
69
A X ((3) <= (#tokens("p10")))
71
Property Eratosthenes-PT-050-LTLCardinality-14
72
"Automatically generated"
74
A ((#tokens("p8")) <= (#tokens("p6")))
76
Property Eratosthenes-PT-050-LTLCardinality-15
77
"Automatically generated"
79
A F F ((3) <= (#tokens("p45")))