full results

problem
zip-dev
zip-dev.time
9.79
10.29
9.79
10.23
9.78
10.23
10.05
10.31
10.05
10.54
9.80
10.35
9.80
10.32
3.17
11.01
11.02
11.02
9.78
11.01
11.03
11.02
1.44
11.01
11.02