full results

problem
zip-dev
zip-dev.time
0.88
2.59
2.71
1.15
1.01
1.30
9.77
9.82
1.52
2.42
0.96
9.79
9.80
2.71
0.25
5.78
4.35
9.78
2.10
4.51
5.05
6.51
6.02
6.54
2.31