full results

problem
zip-dev
zip-dev.time
9.83
10.10
10.01
9.99
10.09
9.94
10.21
10.18
10.40
10.18
10.05
10.34
10.04
9.96
9.95
10.06
9.90
9.89
9.96
10.01
9.92
10.03
9.95
10.22
10.06