full results

problem
zip-dev
zip-dev.time
9.90
2.44
9.79
0.05
0.29
0.04
0.03
0.03
0.03
0.03
0.04
0.04
0.69
9.79
9.79
1.45
9.79
0.04
0.18
9.38
2.74
0.04
0.52
9.79
9.79