full results

problem
zip-dev
zip-dev.time
0.22
10.10
0.92
0.60
10.06
10.06
10.03
10.03
10.03
10.04
10.04
10.03
10.04
10.04
10.06
10.06
10.08
10.09
9.79
10.04
10.05
10.09
10.03
10.06
10.04