full results

problem
zip-dev
zip-dev.time
11.02
0.04
9.88
11.01
11.02
11.02
11.04
0.05
3.93
11.03
11.02
11.02
12.10
0.02
0.15
4.16
11.02
11.03
11.02
0.05
8.30
11.01
11.02
11.04
11.02