full results

problem
zip-dev
zip-dev.time
9.79
10.04
11.02
11.01
11.01
11.02
1.85
2.32
0.25
0.94
0.29
0.96
0.05
0.05
0.53
0.37
0.72
0.18
0.33
0.18
0.18
9.78
0.18
0.12
0.11