full results

problem
zip-dev
zip-dev.time
5.16
4.04
4.78
2.14
2.26
2.59
5.29
2.64
1.26
1.15
1.57
1.75
1.98
6.90
4.70
9.79
3.98
7.06
9.49
5.88
4.91
0.63
6.94
0.93
3.42