isl_basic_map_foreach_lexopt: properly merge partial empty solutions
[platform/upstream/isl.git] / test_inputs / convex13.polylib
1 3 5
2 1   0    0   -1    3
3 1   0   -1    0    2
4 1   1    1    1   -4
5
6 3 5
7 1   0    0    1    0
8 1   1    0    0   -1
9 1   1    2    0    1
10
11 6 5
12 1   3    2    0   -1
13 1   3    0    2   -3
14 1   1    0    1   -1
15 1   1    1    1    0
16 1   1    1    0    0
17 1   1    0    0    1