full results

problem
zip-dev
zip-dev.time
11.01
10.19
10.36
9.80
9.79
10.53
10.83
9.83
9.83
10.33
10.45
9.82
9.83
10.62
10.71
9.79
9.85
0.17
0.18
10.35
10.53
9.87
9.83
10.73
10.97