full results

problem
zip-dev
zip-dev.time
4.41
7.11
7.72
11.02
11.03
11.02
11.03
11.02
9.82
11.02
11.02
11.02
11.03
11.02
11.03
4.07
11.03
11.02
11.02
2.57
11.03
2.62
11.02
11.02
11.02