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