rigor-optimization
1.02
1.04
Sum
2.138.3
1
1
2.190.2
1
1
2.222.3
1
1
2.231
1
1
2.243
1
1
2.289.3
1
1
2.332.3
1
1
2.346.2
1
1
2.355
1
1
2.414.1
1
1
2.440.2
1
1
2.462.2
1
1
2.479.2
1
1
2.479.3
1
1
2.492.2
1
1
2.498
1
1
2.500
1
1
Total
3
14
17