full results

problem
zip-dev
zip-dev.time
1.80
5.29
0.86
0.75
3.92
5.40
9.79
1.60
1.28
8.02
4.76
1.44
0.80
0.86
6.22
0.75
1.79
4.64
5.18
1.20
8.68
3.76
1.91
3.65
0.87