full results

problem
zip-dev
zip-dev.time
0.50
0.86
9.80
0.03
0.02
0.05
0.03
0.04
0.59
4.00
1.58
0.79
0.12
0.12
0.45
0.03
0.05
0.59
0.70
0.94
0.60
3.51
1.03
0.63
3.42