full results

problem
zip-dev
zip-dev.time
10.06
10.07
0.09
0.16
2.17
10.07
10.05
9.89
9.92
9.90
10.02
9.90
10.22
0.39
10.14
10.15
10.18
9.94
6.03
4.07
5.01
5.41
4.14
0.14
10.04