full results

problem
zip-dev
zip-dev.time
10.03
2.00
10.03
2.21
10.00
1.63
9.78
2.02
9.81
1.86
9.78
1.96
10.03
1.88
10.03
1.86
10.03
1.76
10.03
7.29
9.78
8.65
9.79
7.58
9.78