full results

problem
zip-dev
zip-dev.time
9.80
9.85
0.99
0.62
9.79
9.79
9.79
9.79
9.78
3.17
9.79
9.81
9.79
4.46
9.79
9.79
9.79
9.79
0.05
0.05
9.79
9.79
1.46
0.58
1.36