full results

problem
zip-dev
zip-dev.time
7.07
0.66
9.79
9.81
9.83
9.82
0.66
9.82
9.88
1.82
9.88
9.94
9.87
9.82
9.85
9.82
9.79
9.85
9.81
9.81
0.52
0.07
9.80
9.83
9.80