full results

problem
zip-dev
zip-dev.time
2.15
7.42
3.10
0.06
0.18
0.06
0.16
8.88
2.24
9.79
9.79
9.79
9.79
9.79
2.32
9.79
9.80
9.79
9.79
9.79
9.81
9.82
3.45
9.79
9.90