repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
doc: explain syntax for parameter domains
[barvinok.git]
/
doc
/
sum_times_3
blob
b6f08494a8e36360fcae92ba9ef35b8119ed1349
1
0 0
2
1 0.00333333333333333
3
2 0.00666666666666667
4
3 0.00333333333333333
5
4 0.01
6
5 0.01
7
6 0.02
8
7 0.0233333333333333
9
8 0.0366666666666667
10
9 0.05
11
10 0.0666666666666667
12
11 0.0966666666666667
13
12 0.126666666666667
14
13 0.16
15
14 0.22
16
15 0.28
17
16 0.35
18
17 0.446666666666667
19
18 0.543333333333333
20
19 0.68
21
20 0.83
22
21 1.01
23
22 1.22
24
23 1.48333333333333
25
24 1.74
26
25 2.06
27
26 2.45333333333333
28
27 2.87
29
28 3.30666666666667
30
29 3.95
31
30 4.47666666666667
32
31 5.11333333333333
33
32 5.85333333333333
34
33 6.62
35
34 7.51
36
35 8.61666666666667
37
36 9.55333333333333
38
37 10.6466666666667
39
38 11.9066666666667
40
39 13.3333333333333
41
40 14.7866666666667
42
41 16.5433333333333
43
42 18.0966666666667
44
43 20.12
45
44 22.2566666666667
46
45 24.45
47
46 26.6233333333333
48
47 29.46
49
48 31.8866666666667
50
49 34.8766666666667
51
50 38.0633333333333
52
51 41.3166666666667
53
52 44.8366666666667
54
53 49.25
55
54 53.17
56
55 57.91
57
56 62.32
58
57 67.25
59
58 72.1233333333333
60
59 78.7433333333333
61
60 83.7166666666667
62
61 89.6333333333333
63
62 96.8166666666667
64
63 103.74
65
64 111.096666666667
66
65 119.323333333333
67
66 126.64
68
67 135.503333333333
69
68 145.37
70
69 155.54
71
70 164.74
72
71 177.41
73
72 186.953333333333
74
73 199.003333333333
75
74 211.95
76
75 223.863333333333
77
76 236.716666666667
78
77 253.376666666667
79
78 267.036666666667
80
79 283.15
81
80 299.473333333333
82
81 316.32
83
82 334.266666666667
84
83 354.173333333333
85
84 371.603333333333
86
85 391.64
87
86 412.44
88
87 435.506666666667
89
88 457.553333333333
90
89 488.583333333333
91
90 509.306666666667
92
91 535.703333333333
93
92 561.256666666667
94
93 587.586666666667