full results

problem
zip-dev
zip-dev.time
2.60
10.08
5.79
10.11
9.79
10.12
9.78
10.09
9.82
10.11
9.79
10.14
9.78
10.11
9.80
10.21
9.78
0.68
10.03
10.16
10.03
10.21
9.78
10.20
1.05