full results

problem
zip-dev
zip-dev.time
2.85
1.12
0.86
1.84
0.78
1.24
0.96
2.04
1.08
1.51
10.03
0.78
1.12
1.62
2.51
6.70
1.41
9.79
6.64
1.55
2.36
2.06
1.12
2.22
5.46