full results

problem
zip-dev
zip-dev.time
0.07
9.83
9.88
9.92
9.06
9.98
9.96
9.88
9.87
9.97
9.93
9.93
9.91
9.89
9.97
8.98
9.88
10.01
9.91
9.86
9.86
10.08
9.88
10.07
9.89