full results

problem
zip-dev
zip-dev.time
9.89
9.80
10.14
10.00
10.01
9.85
9.84
10.06
10.15
10.14
10.14
9.85
9.83
10.16
10.17
3.53
10.10
3.12
9.97
10.00
10.03
10.04
9.84
9.85
10.06