full results

problem
zip-dev
zip-dev.time
1.39
6.81
10.03
10.03
9.79
9.78
9.79
9.80
2.40
9.56
5.64
6.53
0.89
2.33
1.04
8.64
6.27
6.79
10.03
2.29
10.03
3.21
1.38
2.40
7.67