full results

problem
zip-dev
zip-dev.time
2.45
8.10
3.21
0.06
0.16
0.06
0.16
8.81
2.27
9.79
9.79
9.79
9.79
9.79
2.40
9.79
9.80
9.79
9.78
9.79
9.79
9.81
3.09
9.79
9.89