full results

problem
zip-dev
zip-dev.time
1.02
1.22
0.18
6.30
0.66
1.33
1.49
9.79
9.17
4.92
0.29
2.76
5.79
0.59
1.54
0.86
0.22
0.18
8.23
0.90
4.58
1.32
5.29
1.61
1.29