full results

problem
zip-dev
zip-dev.time
9.81
9.82
9.78
9.81
9.82
9.86
9.90
1.51
9.79
9.80
9.85
9.94
9.77
9.81
9.85
9.96
10.10
0.04
1.39
9.79
0.09
0.13
0.03
9.85
9.79