aterm
32.02%
100,075
2,296 hours
1,609
163
3
138,159
atermify
38
26.97%
344,563
149,380
149,380
108
8
1
1
118
11
1
4,707
aterm_
31.87%
163,677
2,296 hours
1,491
152
2
133,452