util.c: manual_count: use isl_val
[barvinok.git] / tests / ehrhart / bart6.in
blobb5f663b9af6e9f1c5119bba5b495cc73d1b8289c
1 # Degenerate Problem Generated by Compaan
2 # Copyright (c) LIACS 2004
3 # Problem: QR_unfold_mod
4 # Date:    2004.08.18 at 02:39:57 PM GMT+01:00
6  13 11
7   0  1  0  0  0  0  0 -1  0  0  0
8   0  0  1  0  0  0  0 -1  0  0  0
9   0  0  0  0  3  0 -1  0  0  0  1
10   1  0  0  0  0  0  0  1  0  0 -1
11   1  0  0  0  0  0  0 -1  1  0  0
12   1  0  0  0  0  0 -1  0  0  0  1
13   1  0  0 -3  0  0  0  0  0  1  2
14   1  0  0  3  0  0  0  0  0 -1 -1
15   1  0  0  0  0 -3  0  0  0  0  1
16   1  0  0  0  0  0  1  0  0 -1  1
17   1  0  0  0  0  0 -1  0  0  1  1
18   1  0  0  0  0 -3  0  0  0  1  1
19   1  0  0  0  0  3  0  0  0 -1  1
22  1 6
23   1  0  0  0  -1  0