full results

problem
zip-dev
zip-dev.time
9.79
2.49
9.78
0.05
0.25
0.04
0.03
0.04
0.03
0.03
0.03
0.04
0.60
9.79
9.79
1.44
9.79
0.04
0.19
8.19
2.70
0.05
0.58
9.79
9.79