llvm/polly/lib/External/isl/test_inputs/convex13.polylib

3 5
1   0    0   -1    3
1   0   -1    0    2
1   1    1    1   -4

3 5
1   0    0    1    0
1   1    0    0   -1
1   1    2    0    1

6 5
1   3    2    0   -1
1   3    0    2   -3
1   1    0    1   -1
1   1    1    1    0
1   1    1    0    0
1   1    0    0    1