full results

problem
zip-dev
zip-dev.time
9.78
0.36
9.89
9.79
2.12
0.02
1.04
0.02
3.10
3.96
1.79
1.80
9.79
0.45
9.96
1.45
9.78
9.78
1.45
0.36
9.78
9.78
9.78
9.80
9.78