full results

problem
zip-dev
zip-dev.time
9.83
9.80
9.82
9.82
9.80
9.79
9.85
9.89
2.58
9.79
9.82
0.67
0.47
9.78
9.81
9.79
2.52
0.33
0.21
6.72
0.35
9.19
0.34
9.79
9.82