full results

problem
zip-dev
zip-dev.time
4.75
4.62
4.47
1.98
2.56
2.57
5.10
2.64
1.50
1.25
1.51
1.87
1.99
6.86
4.66
9.79
4.02
7.25
9.31
5.41
4.37
0.66
6.93
1.02
3.18