blob: 8baed208c680fb29d5c238a337dce43e14003202 [file] [log] [blame]
# 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 -1 0 0 0
0 0 0 1 0 0 0 0 0 0 0 -5
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 -1 0 0 0 -1
0 0 0 1 0 0 0 0 0 0 0 0 -1
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 -1 0 0 -1
0 0 0 1 0 0 0 0 0 0 0 -2
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 -1 0 0 0 -1
0 0 0 1 0 0 0 0 0 0 0 0 -3
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 -1 0 0 -1
0 0 0 1 0 0 0 0 0 0 0 -6
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 -1 0 0 0 -2
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 14
0 1 0 0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -1 0 0 0 0 -2
0 0 0 1 0 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 0 1 0 0 0 0 0 0 0 -1
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 -1 0 0 0 -2
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 -2
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 -1 0 0 0 0 -2
0 0 0 1 0 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 0 1 0 0 0 0 0 0 0 -3
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 12
0 1 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 -1 0 0 -1
0 0 0 1 0 0 0 0 0 0 0 -4
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