diff options
Diffstat (limited to 'test/published/CC2006/QR.cloog')
| -rw-r--r-- | test/published/CC2006/QR.cloog | 229 |
1 files changed, 0 insertions, 229 deletions
diff --git a/test/published/CC2006/QR.cloog b/test/published/CC2006/QR.cloog deleted file mode 100644 index db11b9a..0000000 --- a/test/published/CC2006/QR.cloog +++ /dev/null @@ -1,229 +0,0 @@ -# Language -c - -# Context - - 1 4 - 1 0 0 1 -0 - -# Number of statments -10 - -1 -# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } - - 3 5 - 1 1 0 0 0 - 1 -1 0 1 -1 - 1 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } - - 5 6 - 1 1 0 0 0 0 - 1 -1 0 0 1 -1 - 1 -1 1 0 0 0 - 1 0 -1 1 0 -1 - 1 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } - - 3 5 - 1 1 0 0 0 - 1 -1 0 1 -1 - 1 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } - - 5 6 - 1 1 0 0 0 0 - 1 -1 0 0 1 -1 - 1 -1 1 0 0 0 - 1 0 -1 1 0 -1 - 1 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } - - 3 5 - 1 1 0 0 0 - 1 -1 0 1 -1 - 1 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } - - 4 6 - 1 1 0 0 0 0 - 1 -1 1 0 0 -1 - 1 0 -1 0 1 -1 - 1 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } - - 6 7 - 1 1 0 0 0 0 0 - 1 -1 1 0 0 0 -1 - 1 0 -1 0 0 1 -1 - 1 -1 0 1 0 0 0 - 1 0 0 -1 1 0 -1 - 1 0 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } - - 4 6 - 1 1 0 0 0 0 - 1 -1 1 0 0 -1 - 1 0 -1 0 1 -1 - 1 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } - - 6 7 - 1 1 0 0 0 0 0 - 1 -1 1 0 0 0 -1 - 1 0 -1 0 0 1 -1 - 1 -1 0 1 0 0 0 - 1 0 0 -1 1 0 -1 - 1 0 0 0 0 0 1 - -0 0 0 -1 -# { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } - - 3 5 - 1 1 0 0 0 - 1 -1 0 1 -1 - 1 0 0 0 1 - -0 0 0 -0 -# Scattering functions -10 - - 8 12 - 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 - 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 1 - - - 8 13 - 0 1 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 -1 - 0 0 0 1 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 -1 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 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 0 1 - - - 8 12 - 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 -2 - 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 1 - - - 8 13 - 0 1 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 -3 - 0 0 0 1 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 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 0 1 - - - 8 12 - 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 -4 - 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 1 - - - 8 13 - 0 1 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 -5 - 0 0 0 1 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 -4 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 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 0 1 - - - 8 14 - 0 1 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 0 -5 - 0 0 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 -4 0 0 0 -1 - 0 0 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - - - 8 13 - 0 1 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 -5 - 0 0 0 1 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 -4 0 0 -2 - 0 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 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 0 1 - - - 8 14 - 0 1 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 0 0 -5 - 0 0 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 -4 0 0 0 -3 - 0 0 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 0 0 1 - - - 8 12 - 0 1 0 0 0 0 0 0 0 0 0 0 - 0 0 1 0 0 0 0 0 -5 0 0 -3 - 0 0 0 1 0 0 0 0 0 0 0 0 - 0 0 0 0 1 0 0 0 0 0 0 0 - 0 0 0 0 0 1 0 0 0 0 0 0 - 0 0 0 0 0 0 1 0 0 0 0 0 - 0 0 0 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 1 - -0 - |