full results

problem
zip-dev
zip-dev.time
1.45
6.33
10.03
10.03
9.78
9.78
9.79
9.79
2.49
9.78
5.52
7.20
0.99
2.32
0.95
8.44
5.71
7.60
10.03
2.28
10.03
3.26
1.45
2.40
7.09