full results

problem
zip-dev
zip-dev.time
1.19
1.09
0.20
6.43
0.70
1.31
1.12
9.77
8.21
4.97
0.32
2.44
5.75
1.11
1.38
0.87
0.25
0.18
7.08
0.79
4.64
1.35
5.17
1.80
1.26