check for getopt
[barvinok.git] / tests / kristof5
blobd88b4cd2e0fe3a9b4a97568734f0b86e95e2f7e0
1 D 1
3 13 9
4    0    1    0   -1   -1    0    0    0    0
5    0    0    1    0    0   -1   -1    0    0
6    0    0    0    0    0    0    0    1   -1
7    1    0    0    0    0    1    0    0   -3
8    1    0    0   -1    0    0    0    0  252
9    1    0    0    0   -1    0    0    0   -1
10    1    0    0    1    0    0    0    0   -3
11    1    0    0    0    1    0    1    0    4
12    1    0    0    0    0   -1    0    0  252
13    1    0    0    0    1    0   -1    0    4
14    1    0    0    0    0   -1   -1    0  253
15    1    0    0    0    0    1    1    0   -2
16    1    0    0    0    1    0    0    0    3
18 F 0
20 935500