full results

problem
zip-dev
zip-dev.time
10.71
10.94
0.05
10.80
10.81
10.99
10.64
10.76
10.79
11.01
10.74
11.01
11.01
11.02
0.11
11.01
11.01
11.01
11.02
11.01
11.02
11.01
11.01
11.01
11.01