full results

problem
zip-dev
zip-dev.time
0.22
10.06
0.85
0.76
10.06
10.08
10.03
10.03
10.04
10.03
10.03
10.03
10.04
10.05
10.07
10.06
10.08
10.06
9.79
10.04
10.04
10.08
10.03
10.07
10.06