full results

problem
zip-dev
zip-dev.time
10.05
10.34
9.92
10.01
10.21
10.14
10.09
10.29
10.32
10.33
11.01
11.01
9.94
9.99
10.23
9.82
10.04
10.32
9.92
0.21
10.27
10.27
10.08
11.01
11.01