full results

problem
zip-dev
zip-dev.time
10.08
9.90
2.93
2.23
10.07
4.26
3.53
2.48
9.88
2.59
9.84
9.87
9.83
10.04
9.81
9.89
9.85
10.06
9.86
9.83
9.83
3.17
10.07
9.98
9.88