full results

problem
zip-dev
zip-dev.time
1.04
9.79
10.03
0.65
1.53
10.04
1.16
4.81
1.00
1.14
0.87
2.89
6.72
2.44
2.99
6.96
3.40
0.64
1.04
9.31
0.97
1.79
2.94
6.21
0.76