full results

problem
zip-dev
zip-dev.time
1.09
1.21
0.22
7.20
0.77
1.15
1.28
9.78
8.21
5.31
0.29
2.37
6.51
0.69
1.35
0.84
0.25
0.18
8.04
0.82
4.19
1.31
5.27
1.84
1.14