full results

problem
zip-dev
zip-dev.time
9.79
10.20
9.79
10.36
9.79
10.31
9.88
10.39
10.05
10.29
9.80
10.38
9.88
10.29
3.01
11.02
11.02
11.03
9.81
11.02
11.03
11.03
1.46
11.02
11.02