full results

problem
zip-dev
zip-dev.time
10.08
10.14
7.79
9.89
9.88
9.84
9.85
9.89
10.09
10.06
0.08
10.02
10.03
10.10
8.82
10.04
9.89
0.08
10.09
9.96
10.00
9.94
10.12
10.10
9.89