full results

problem
zip-dev
zip-dev.time
4.55
10.02
9.79
9.79
9.80
9.78
9.79
5.65
10.04
9.79
9.79
9.79
0.66
1.93
7.47
0.85
1.16
1.70
0.68
1.21
9.80
9.78
10.04
5.38
5.41