| # 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 |
| |