a polytope with rays independent of the existential variables is unbounded
[barvinok.git] / tests / kristof
blob2bca8de3208bbfb58009f33c1ba9d308be16a81c
1 D 1
2         13 9
3            0    1    0    0    0   -1    0   -1    0
4            1    0    0    0    0    0    0    1    0
5            1    0    1   -1    0    0    0    0    0
6            1    0    0    0    1    0    0    0    0
7            1    0    0    1   -8    0    0    0    0
8            1    0    0    0    0    0    1    0    0
9            1    0    0    0    0   -1    8    0   16
10            1    0    0    0   -1    0    0    0   35
11            1    0   -1    1    0    0    0    0   15
12            1    0    0    0    0    0    0   -1   15
13            1    0    0    0    0    0   -1    0   43
14            1    0    0    0    0    1   -8    0    0
15            1    0    0   -1    8    0    0    0   16
16 F 0
17 117190656