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

1 4
1 1 1 -6

3 4
1 1 1 -3
1 1 0 -5
1 -1 0 10

1 4
1 1 1 -3