full results

problem
zip-dev
zip-dev.time
1.16
1.20
0.20
6.51
0.58
1.29
1.24
9.77
8.14
5.03
0.29
2.42
6.35
0.69
1.49
0.88
0.25
0.18
7.21
0.79
4.66
1.21
5.26
1.66
1.17