full results

problem
zip-dev
zip-dev.time
1.66
9.78
9.78
3.72
2.30
1.25
5.98
5.85
4.01
9.80
9.79
10.03
10.03
1.42
1.45
9.78
9.78
3.50
4.27
2.43
1.44
2.48
1.04
5.06
4.76