full results

problem
zip-dev
zip-dev.time
0.65
9.82
9.80
9.82
9.79
9.79
9.79
9.79
9.78
0.85
0.61
9.80
9.79
9.79
9.79
9.82
9.79
9.81
2.09
9.50
3.36
9.79
9.79
9.79
9.79