full results

problem
zip-dev
zip-dev.time
2.61
10.14
6.39
10.06
9.78
10.08
9.79
10.12
9.79
10.13
9.78
10.09
9.79
10.10
9.79
10.16
9.80
0.69
10.02
10.17
10.03
10.24
9.78
10.17
1.06