blob: 5f9b7831346a453673dc2a67c397e82b3ac3d914 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
# created: Tue Mar 23 01:51:15 CET 2010
# ---------------------- CONTEXT ----------------------
c # language is C
# Context
2 4
1 1 0 -1
1 0 1 -1
1 # set parameter names
M N
# --------------------- STATEMENTS --------------------
1
1 # domains per statement
76 10
1 -5 0 0 0 0 0 2 2 -7
1 -20 0 0 0 20 20 0 0 16
1 -40 0 0 0 0 80 0 8 16
1 -4 4 0 0 0 4 0 0 4
1 -20 0 0 0 40 0 0 0 8
1 -20 0 20 0 20 0 0 0 16
1 -20 0 40 0 0 0 0 4 8
1 -20 40 0 0 0 0 0 0 16
1 -4 4 4 0 0 0 0 0 4
1 -20 0 0 0 0 20 4 4 -4
1 -10 0 0 0 10 0 2 0 2
1 -5 0 0 5 0 0 0 0 3
1 -5 5 0 0 0 0 1 0 2
1 -10 0 10 0 0 0 2 2 -2
1 0 -10 -10 10 0 0 0 2 6
1 20 -20 -20 0 0 0 0 4 16
1 0 -10 0 10 0 -10 0 2 6
1 40 -40 0 0 0 -40 0 8 32
1 0 -20 0 10 0 0 0 4 0
1 0 -10 0 0 0 0 2 4 -10
1 40 -80 0 0 0 0 0 16 8
1 0 -10 0 0 0 10 0 2 2
1 0 -5 0 0 5 0 0 0 3
1 0 -10 0 10 0 0 0 0 4
1 0 -5 5 0 0 0 0 1 1
1 20 -20 0 0 0 0 0 0 12
1 0 0 -10 10 -10 0 0 2 8
1 40 0 -40 0 -40 0 0 8 40
1 0 0 -20 10 0 0 0 2 4
1 0 0 -5 0 0 0 1 1 -2
1 40 0 -80 0 0 0 0 8 24
1 0 0 -5 0 0 5 0 0 4
1 0 0 -10 0 10 0 0 0 4
1 0 0 -10 10 0 0 0 0 2
1 0 5 -5 0 0 0 0 0 3
1 40 0 -40 0 0 0 0 0 16
1 0 0 0 -5 0 0 2 2 -6
1 0 0 0 -20 20 20 0 0 20
1 0 0 0 -40 0 80 0 8 24
1 0 20 0 -20 0 20 0 0 24
1 0 0 20 -20 20 0 0 0 20
1 0 0 0 -20 40 0 0 0 12
1 0 0 40 -20 0 0 0 4 12
1 0 40 0 -20 0 0 0 0 20
1 0 20 20 -20 0 0 0 0 24
1 0 0 0 -40 0 40 8 8 0
1 0 0 0 -20 20 0 4 0 8
1 0 0 20 -20 0 0 4 4 0
1 2 0 0 -2 0 0 0 0 2
1 0 10 0 -10 0 0 2 0 6
1 0 0 0 10 -10 -10 0 2 8
1 80 0 0 0 -80 -80 0 16 80
1 0 0 0 10 -20 0 0 4 4
1 0 0 0 0 -10 0 2 4 -8
1 120 0 0 0 -240 0 0 48 72
1 0 0 0 0 -20 20 0 4 8
1 0 0 0 10 -10 0 0 0 6
1 0 0 10 0 -10 0 0 2 4
1 0 1 0 0 -1 0 0 0 1
1 40 0 0 0 -40 0 0 0 32
1 0 0 0 10 0 -20 0 2 4
1 0 0 0 0 0 -5 1 1 -2
1 80 0 0 0 0 -160 0 16 48
1 0 0 0 0 10 -10 0 0 4
1 0 0 0 10 0 -10 0 0 2
1 0 0 5 0 0 -5 0 0 4
1 0 10 0 0 0 -10 0 0 6
1 40 0 0 0 0 -40 0 0 16
1 0 0 0 0 0 4 0 0 0
1 0 0 0 0 20 0 0 0 -8
1 0 0 0 20 0 0 0 0 -12
1 0 0 4 0 0 0 0 0 0
1 0 20 0 0 0 0 0 0 -4
1 80 0 0 0 0 0 0 0 -32
1 0 0 0 0 0 0 0 1 -4
1 0 0 0 0 0 0 1 0 -3
0 0 0 # for future options...
1 # set the iterator names
outerTimeTileIter outerProcTileIter1 outerProcTileIter2 innerTimeTileIter innerProcTileIter1 innerProcTileIter2
# --------------------- SCATTERING --------------------
1 # Scattering functions
6 16
0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0
1 # we set the scattering dimension names
outerTimeTileScatter outerProcTileScatter1 outerProcTileScatter2 innerTimeTileScatter innerProcTileScatter1 innerProcTileScatter2
|
