full results

problem
zip-dev
zip-dev.time
5.12
4.60
5.08
1.95
2.27
2.58
5.23
2.57
1.43
1.14
1.70
1.87
2.01
7.04
4.34
9.78
3.56
6.38
9.50
5.32
3.86
0.62
7.90
1.01
3.46