full results

problem
zip-dev
zip-dev.time
9.82
7.25
9.79
8.57
9.81
9.80
0.66
0.50
0.50
0.35
0.72
0.06
9.86
9.80
9.78
0.06
0.05
10.03
9.78
0.07
0.05
9.80
9.83
0.05
0.04