full results

problem
zip-dev
zip-dev.time
3.31
6.45
10.10
11.01
10.02
9.86
9.82
9.85
0.69
0.14
9.79
9.85
9.80
9.98
9.92
9.91
9.80
0.70
10.02
9.83
9.85
0.16
0.71
9.85
9.79