full results

problem
zip-dev
zip-dev.time
9.97
10.04
10.19
10.08
9.91
9.89
9.91
9.97
9.94
9.92
9.91
9.89
9.86
9.96
9.93
10.17
9.92
10.03
10.18
10.12
10.18
10.00
9.79
10.15
10.27