JABstract
28.58%
16,529
7,590 hours
8,635
902
13
760,299
JABstract
319
26.56%
129,134
5,501
5,501
3,089
555
143
5
3,085 hours
3,792
291
5
276,267
jabstraction
26.47%
135,968
933 hours
39,219
2,138
143
1
176,946
JABstract
24.93%
206,783
1,950 hours
1,031
177
1
81,333
jabstract
12.00%
11,741
240
14
13
1,090
jabstract
8.32%
2,686
977
192
34
10,757
JABstract
34.50%
17,313
463,500
270
45
1
80,654
21
JABstract
15.47%
1,927
137 hours
43
63
2,885
jabstraction
15.44%
3,261
332 hours
46
26
8,859
JABstract
28.79%
73
1,154 hours
1,070
107
5
119,806
JABstract
13.60%
7,532
38
1
0
0
510
39
3
1,682