full results

problem
zip-dev
zip-dev.time
10.14
10.10
11.01
10.05
1.26
9.89
10.12
11.01
10.04
9.87
10.23
11.01
10.03
9.88
9.96
11.01
10.03
9.90
10.06
11.01
9.81
9.90
0.66
2.11
11.02