full results

problem
zip-dev
zip-dev.time
10.05
10.17
7.93
9.85
10.03
9.87
9.87
9.98
9.93
10.11
0.09
10.06
10.09
9.86
8.85
9.90
9.89
0.09
10.10
9.85
10.09
10.19
10.12
9.99
9.89