full results

problem
zip-dev
zip-dev.time
9.85
9.79
9.82
9.81
9.80
9.79
9.82
9.79
2.65
9.80
9.87
0.68
0.48
9.80
9.81
9.80
2.20
0.34
0.19
6.81
0.32
9.79
0.34
9.81
9.84