full results

problem
zip-dev
zip-dev.time
10.07
10.11
10.06
10.08
10.07
9.86
10.06
10.11
9.99
10.06
10.09
9.80
9.83
9.85
9.94
9.87
10.12
6.55
10.09
10.05
10.14
10.13
9.96
9.97
0.05