full results

problem
zip-dev
zip-dev.time
1.16
1.07
0.20
7.08
0.61
1.27
1.27
9.78
8.06
4.79
0.29
2.53
5.97
0.60
1.51
0.96
0.22
0.18
8.34
0.78
4.67
1.33
4.77
1.87
1.37