full results

problem
zip-dev
zip-dev.time
10.21
0.23
10.16
2.70
10.23
9.80
10.23
10.03
10.25
9.78
10.20
9.80
10.23
9.81
10.24
9.80
10.27
9.81
10.19
9.84
10.26
9.81
10.19
9.81
10.21