full results

problem
zip-dev
zip-dev.time
0.44
10.09
0.96
0.51
10.06
10.09
10.03
10.02
10.04
10.03
10.03
10.03
10.04
10.03
10.08
10.06
10.10
10.08
9.79
10.06
10.06
10.12
10.03
10.06
10.06