full results

problem
zip-dev
zip-dev.time
0.51
0.17
0.13
0.14
1.11
0.14
0.16
10.09
10.04
10.08
10.13
10.05
9.81
2.71
10.73
10.29
3.15
4.03
3.13
10.31
10.58
2.11
1.04
6.20
1.73