full results

problem
zip-dev
zip-dev.time
4.46
7.07
7.49
11.01
11.02
11.01
11.02
11.01
9.01
11.01
11.03
11.01
10.77
11.01
11.02
3.91
11.02
11.02
11.02
2.84
11.02
2.92
11.02
11.01
11.02