full results

problem
zip-dev
zip-dev.time
1.06
0.02
0.02
0.02
0.03
0.04
0.04
0.04
0.05
0.08
0.39
0.81
4.25
0.02
0.02
9.78
2.07
2.70
9.80
9.78
9.79
9.81
0.27
0.54
9.79