add an iscc weighted counting test case with an equality among parameters

[barvinok.git] / doc / sum_p_times_2

0 0.01
1 0.02
2 0.06
3 0.21
4 0.56
5 1.31
6 2.75666666666667
7 5.37
8 9.74333333333333
9 16.8566666666667
10 27.65
11 44.3466666666667
12 68.25
13 102.953333333333
14 150.533333333333
15 214.53
16 300.9
17 418.366666666667
18 567.703333333333