full results

problem
zip-dev
zip-dev.time
1.11
2.79
10.03
2.00
10.03
1.74
3.09
3.51
0.13
0.15
0.07
0.07
0.13
0.11
0.08
0.08
0.31
0.43
0.07
0.08
0.08
0.10
0.08
0.12
6.61