full results

problem
zip-dev
zip-dev.time
10.01
9.80
9.80
9.87
9.84
9.85
9.84
9.80
9.82
9.80
0.90
1.10
9.84
9.80
9.77
9.92
9.88
9.82
9.89
9.78
1.23
9.85
9.79
9.92
9.81