full results

problem
zip-dev
zip-dev.time
10.03
9.84
9.81
9.80
9.81
9.81
9.82
9.81
0.09
10.03
9.85
9.83
0.02
9.81
9.88
0.76
9.79
9.84
0.02
10.03
9.82
9.83
9.80
9.81
9.82