full results

problem
zip-dev
zip-dev.time
9.60
3.25
8.82
11.02
11.03
11.03
11.03
11.03
11.02
11.02
11.02
11.03
11.03
12.01
11.02
11.02
1.04
0.35
0.04
1.23
11.03
11.03
11.02
11.03
0.98