full results

problem
zip-dev
zip-dev.time
1.85
9.78
9.78
3.59
2.30
1.23
5.10
6.71
3.52
9.80
9.78
10.03
10.03
1.53
1.48
9.78
9.78
3.93
4.50
2.28
1.45
2.21
1.03
5.29
4.65