full results

problem
zip-dev
zip-dev.time
1.45
6.91
10.03
10.03
9.79
9.78
9.80
9.78
2.71
9.64
6.16
7.15
0.90
2.05
0.98
7.59
6.45
6.85
10.03
2.29
10.03
3.18
1.21
2.25
8.07