full results

problem
zip-dev
zip-dev.time
0.90
0.15
0.81
0.93
0.86
0.06
0.07
0.05
0.07
0.07
0.09
0.08
0.16
0.30
0.17
0.07
0.51
0.15
0.15
1.31
0.83
1.23
0.24
1.04
0.05