full results

problem
zip-dev
zip-dev.time
11.01
11.01
0.36
0.15
0.27
1.07
0.11
0.19
0.74
0.70
0.03
0.16
6.51
0.03
0.16
7.56
0.03
2.82
0.02
0.16
0.03
0.16
0.02
0.15
0.02