1
Property Eratosthenes-PT-020-ReachabilityBounds-0
2
"Automatically generated"
4
((((bound("p11")) <= (3))) & (((bound("p10")) <= (2))))
6
Property Eratosthenes-PT-020-ReachabilityBounds-1
7
"Automatically generated"
9
((bound("p16")) <= (2))
11
Property Eratosthenes-PT-020-ReachabilityBounds-2
12
"Automatically generated"
14
((((((bound("p12")) <= (2))) & (((((bound("p12")) <= (1))) & (((((((bound("p4")) <= (1))) & (((bound("p3")) <= (2))))) & (((((((bound("p7")) <= (2))) & (((bound("p12")) <= (2))))) & (((bound("p10")) <= (2))))))))))) & (((((bound("p6")) <= (3))) & (((((bound("p7")) <= (1))) & (((((((((bound("p8")) <= (2))) & (((bound("p13")) <= (2))))) & (((((bound("p5")) <= (2))) & (((bound("p10")) <= (2))))))) & (((bound("p14")) <= (2))))))))))
16
Property Eratosthenes-PT-020-ReachabilityBounds-3
17
"Automatically generated"
19
((((bound("p4")) <= (1))) & (((((((((bound("p9")) <= (1))) & (((bound("p10")) <= (2))))) & (((((bound("p15")) <= (3))) & (((bound("p8")) <= (3))))))) & (((bound("p11")) <= (2))))))
21
Property Eratosthenes-PT-020-ReachabilityBounds-4
22
"Automatically generated"
24
((bound("p2")) <= (2))
26
Property Eratosthenes-PT-020-ReachabilityBounds-5
27
"Automatically generated"
29
((bound("p17")) <= (3))
31
Property Eratosthenes-PT-020-ReachabilityBounds-6
32
"Automatically generated"
34
((bound("p9")) <= (2))
36
Property Eratosthenes-PT-020-ReachabilityBounds-7
37
"Automatically generated"
39
((((bound("p10")) <= (3))) & (((((((((bound("p9")) <= (2))) & (((((((bound("p11")) <= (1))) & (((bound("p3")) <= (1))))) & (((bound("p19")) <= (2))))))) & (((((bound("p11")) <= (2))) & (((((((bound("p15")) <= (3))) & (((bound("p17")) <= (3))))) & (((((bound("p2")) <= (1))) & (((bound("p12")) <= (1))))))))))) & (((((bound("p10")) <= (3))) & (((bound("p7")) <= (1))))))))
41
Property Eratosthenes-PT-020-ReachabilityBounds-8
42
"Automatically generated"
44
((((((bound("p14")) <= (1))) & (((((((((((bound("p20")) <= (1))) & (((bound("p15")) <= (2))))) & (((((bound("p19")) <= (3))) & (((bound("p19")) <= (2))))))) & (((((bound("p14")) <= (2))) & (((bound("p19")) <= (3))))))) & (((((((bound("p8")) <= (2))) & (((bound("p12")) <= (1))))) & (((((bound("p14")) <= (1))) & (((bound("p4")) <= (2))))))))))) & (((((((((bound("p3")) <= (3))) & (((bound("p5")) <= (1))))) & (((bound("p7")) <= (1))))) & (((((((bound("p7")) <= (3))) & (((bound("p7")) <= (2))))) & (((((((bound("p15")) <= (3))) & (((bound("p13")) <= (1))))) & (((bound("p5")) <= (1))))))))))
46
Property Eratosthenes-PT-020-ReachabilityBounds-9
47
"Automatically generated"
49
((((((bound("p2")) <= (3))) & (((((bound("p9")) <= (2))) & (((((bound("p4")) <= (2))) & (((((((bound("p20")) <= (3))) & (((bound("p18")) <= (2))))) & (((((bound("p8")) <= (1))) & (((bound("p8")) <= (1))))))))))))) & (((bound("p17")) <= (2))))
51
Property Eratosthenes-PT-020-ReachabilityBounds-10
52
"Automatically generated"
54
((bound("p17")) <= (3))
56
Property Eratosthenes-PT-020-ReachabilityBounds-11
57
"Automatically generated"
59
((((bound("p14")) <= (1))) & (((bound("p3")) <= (3))))
61
Property Eratosthenes-PT-020-ReachabilityBounds-12
62
"Automatically generated"
64
((((bound("p16")) <= (1))) & (((bound("p7")) <= (3))))
66
Property Eratosthenes-PT-020-ReachabilityBounds-13
67
"Automatically generated"
69
((bound("p9")) <= (2))
71
Property Eratosthenes-PT-020-ReachabilityBounds-14
72
"Automatically generated"
74
((bound("p15")) <= (3))
76
Property Eratosthenes-PT-020-ReachabilityBounds-15
77
"Automatically generated"
79
((((((bound("p13")) <= (2))) & (((((bound("p18")) <= (3))) & (((bound("p16")) <= (2))))))) & (((((bound("p7")) <= (2))) & (((((bound("p16")) <= (3))) & (((bound("p13")) <= (2))))))))