full results

problem
zip-dev
zip-dev.time
10.18
0.02
10.15
0.02
10.12
0.02
10.04
11.01
11.02
11.02
9.96
11.02
11.02
11.01
9.92
11.02
11.02
11.02
10.06
11.02
11.02
11.02
9.78
11.01
11.02