JABstract
29.63%
19,913
9,676 hours
10,707
1,248
3
17
878,908
JABstract
322
26.95%
150,548
6,166
6,166
3,182
583
147
5
3,262 hours
3,917
295
5
286,925
jabstraction
25.21%
147,481
1,186 hours
43,244
2,312
159
1
190,381
JABstract
39.18%
171,614
3,516 hours
2,564
289
5
176,665
jabstract
35.12%
11,347
1,405
78
14
6,078
jabstract
14.30%
15,953
41 hours
1,133
232
40
3
1,492
JABstract
32.28%
27,537
469,500
278
53
1
72,554
21
JABstract
19.71%
2,088
161 hours
81
254
5,848
jabstraction
20.69%
4,620
356 hours
78
29
12,669
JABstract
28.79%
72
1,154 hours
1,070
107
5
120,456
JABstract
22.27%
7,629
75
19
3
0
2,635
97
8
5,840