full results

problem
zip-dev
zip-dev.time
11.01
7.86
11.01
7.70
11.01
2.99
11.01
11.02
11.01
1.90
11.01
5.79
11.01
4.18
5.04
0.64
8.20
0.96
9.33
1.06
7.73
0.71
11.01
11.01
11.01