full results

problem
zip-dev
zip-dev.time
11.01
10.25
11.01
10.01
9.94
9.97
9.93
9.89
9.85
9.91
9.92
9.86
8.14
9.87
9.87
10.11
9.97
10.14
10.14
9.92
9.87
9.92
10.13
9.96
10.01