full results

problem
zip-dev
zip-dev.time
0.81
0.11
9.79
9.79
3.28
6.90
0.81
0.66
1.01
0.56
9.58
2.29
0.80
0.69
0.77
0.72
9.79
9.80
9.79
9.79
0.96
0.69
9.79
9.79
9.79