full results

problem
zip-dev
zip-dev.time
1.04
0.02
0.02
0.02
0.04
0.04
0.04
0.04
0.05
0.07
0.39
0.77
3.75
0.03
0.02
9.81
1.79
2.81
9.78
9.78
9.85
9.80
0.42
0.55
9.79