full results

problem
zip-dev
zip-dev.time
9.78
9.79
9.80
9.79
9.78
9.79
9.78
9.80
5.13
9.80
3.68
0.99
0.61
9.79
9.79
9.80
9.80
9.79
9.80
9.79
2.72
0.98
0.70
9.79
9.79