full results

problem
zip-dev
zip-dev.time
10.24
3.14
8.86
11.01
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
12.10
11.02
11.02
1.10
0.34
0.05
1.27
11.02
11.02
11.02
11.02
1.00