full results

problem
zip-dev
zip-dev.time
9.81
9.87
9.89
9.88
9.79
9.88
0.03
9.87
9.87
0.27
6.88
0.12
9.91
0.03
7.23
0.02
9.87
0.18
9.93
0.03
9.87
0.03
0.47
0.02
5.21