full results

problem
zip-dev
zip-dev.time
9.85
10.02
9.87
10.02
10.00
0.21
10.02
7.64
3.53
1.39
1.05
0.50
2.21
1.79
1.98
1.29
2.37
6.94
1.43
9.78
9.78
0.24
2.46
9.80
5.33