full results

problem
zip-dev
zip-dev.time
0.81
0.09
9.79
9.79
3.28
6.90
0.90
0.58
1.01
0.56
9.80
2.34
0.72
0.81
0.88
0.73
9.79
9.79
9.79
9.79
0.98
0.60
9.79
9.80
9.79